[openwrt/openwrt] refpolicy: skip building docs

[LEDE Commits]

dangole pushed a commit to openwrt/openwrt.git, branch master:
https://git.openwrt.org/76368a5c0ac0ce3e66a9451637937361d9bc0f78

commit 76368a5c0ac0ce3e66a9451637937361d9bc0f78
Author: Daniel Golle <daniel at makrotopia.org>
AuthorDate: Tue Sep 1 14:34:15 2020 +0100

    refpolicy: skip building docs
    
    Building docs requires xmllint and other bulky things being present on
    the host. Skip that.
    
    Signed-off-by: Daniel Golle <daniel at makrotopia.org>
---
 package/system/refpolicy/Makefile                  |  2 +-
 package/system/refpolicy/patches/100-no-docs.patch | 12 ++++++++++++
 2 files changed, 13 insertions(+), 1 deletion(-)

diff --git a/package/system/refpolicy/Makefile b/package/system/refpolicy/Makefile
index f1a33c8e79..c5a8a5cc32 100644
--- a/package/system/refpolicy/Makefile
+++ b/package/system/refpolicy/Makefile
@@ -7,7 +7,7 @@ include $(TOPDIR)/rules.mk
 
 PKG_NAME:=refpolicy
 PKG_VERSION:=2.20200229
-PKG_RELEASE:=1
+PKG_RELEASE:=2
 
 PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.bz2
 PKG_SOURCE_URL:=https://github.com/SELinuxProject/refpolicy/releases/download/RELEASE_2_20200229
diff --git a/package/system/refpolicy/patches/100-no-docs.patch b/package/system/refpolicy/patches/100-no-docs.patch
new file mode 100644
index 0000000000..21767951a4
--- /dev/null
+++ b/package/system/refpolicy/patches/100-no-docs.patch
@@ -0,0 +1,12 @@
+Index: refpolicy-2.20200229/Makefile
+===================================================================
+--- refpolicy-2.20200229.orig/Makefile
++++ refpolicy-2.20200229/Makefile
+@@ -648,6 +648,6 @@ ifneq ($(generated_fc),)
+ endif
+ endif
+ 
+-.PHONY: install-src install-appconfig install-headers generate xml conf html bare tags
++.PHONY: install-src install-appconfig install-headers generate conf bare tags
+ .SUFFIXES:
+ .SUFFIXES: .c