diff options
author | Graham Christensen <graham@grahamc.com> | 2018-10-03 21:52:48 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-03 21:52:48 -0400 |
commit | f2b3bbe44e4f7e220ecb1308d1acdac5e6a0f8ba (patch) | |
tree | 1c01a018bdb41e61f3bd563ca01d85a624894277 /doc/Makefile | |
parent | 932833f519c40b38c19042b4e0502335e00660b3 (diff) | |
parent | c07ba7c8560250d1b184698e6453b6d5ca11846f (diff) |
Merge pull request #47688 from grahamc/doc-breakout-functions
nixpkgs docs: breakout functions
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index ba77be6678c41..173e1c0b19ee1 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: |