nixpkgs docs: Rebuild manual-full if nested XML docs change

This commit is contained in:
Graham Christensen
2018-10-02 15:59:00 -04:00
parent ce5e6466b6
commit 4a0da7f3ac

View File

@@ -69,7 +69,7 @@ highlightjs:
cp -r "$$HIGHLIGHTJS/loader.js" highlightjs/
manual-full.xml: ${MD_TARGETS} .version *.xml
manual-full.xml: ${MD_TARGETS} .version *.xml **/*.xml
xmllint --nonet --xinclude --noxincludenode manual.xml --output manual-full.xml
.version: