summary refs log tree commit diff
path: root/doc/Makefile
diff options
context:
space:
mode:
authorGraham Christensen <graham@grahamc.com>2018-10-03 21:52:48 -0400
committerGitHub <noreply@github.com>2018-10-03 21:52:48 -0400
commitf2b3bbe44e4f7e220ecb1308d1acdac5e6a0f8ba (patch)
tree1c01a018bdb41e61f3bd563ca01d85a624894277 /doc/Makefile
parent932833f519c40b38c19042b4e0502335e00660b3 (diff)
parentc07ba7c8560250d1b184698e6453b6d5ca11846f (diff)
downloadnixpkgs-f2b3bbe44e4f7e220ecb1308d1acdac5e6a0f8ba.tar
nixpkgs-f2b3bbe44e4f7e220ecb1308d1acdac5e6a0f8ba.tar.gz
nixpkgs-f2b3bbe44e4f7e220ecb1308d1acdac5e6a0f8ba.tar.bz2
nixpkgs-f2b3bbe44e4f7e220ecb1308d1acdac5e6a0f8ba.tar.lz
nixpkgs-f2b3bbe44e4f7e220ecb1308d1acdac5e6a0f8ba.tar.xz
nixpkgs-f2b3bbe44e4f7e220ecb1308d1acdac5e6a0f8ba.tar.zst
nixpkgs-f2b3bbe44e4f7e220ecb1308d1acdac5e6a0f8ba.zip
Merge pull request #47688 from grahamc/doc-breakout-functions
nixpkgs docs: breakout functions
Diffstat (limited to 'doc/Makefile')
-rw-r--r--doc/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile
index ba77be6678c..173e1c0b19e 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -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: