projects / openwrt / staging / dedeckeh.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d136848) | patch
refpolicy: skip building docs
authorDaniel Golle <daniel@makrotopia.org>
Tue, 1 Sep 2020 13:34:15 +0000 (14:34 +0100)
committerDaniel Golle <daniel@makrotopia.org>
Tue, 1 Sep 2020 13:35:00 +0000 (14:35 +0100)
commit76368a5c0ac0ce3e66a9451637937361d9bc0f78
treed05d8684a5a1a87112c3cf102ffa909ecfb4109btree | snapshot
parentd136848b8b8081370d41461c9685affcd3222e8ccommit | diff
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@makrotopia.org>
package/system/refpolicy/Makefile diff | blob | history
package/system/refpolicy/patches/100-no-docs.patch [new file with mode: 0644] blob
Staging tree of dedeckeh