diff options
author | Daniel Golle <daniel@makrotopia.org> | 2020-09-01 14:34:15 +0100 |
---|---|---|
committer | Daniel Golle <daniel@makrotopia.org> | 2020-09-01 14:35:00 +0100 |
commit | 76368a5c0ac0ce3e66a9451637937361d9bc0f78 (patch) | |
tree | d05d8684a5a1a87112c3cf102ffa909ecfb4109b /target/linux/x86/modules.mk | |
parent | d136848b8b8081370d41461c9685affcd3222e8c (diff) | |
download | upstream-76368a5c0ac0ce3e66a9451637937361d9bc0f78.tar.gz upstream-76368a5c0ac0ce3e66a9451637937361d9bc0f78.tar.bz2 upstream-76368a5c0ac0ce3e66a9451637937361d9bc0f78.zip |
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>
Diffstat (limited to 'target/linux/x86/modules.mk')
0 files changed, 0 insertions, 0 deletions