diff options
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 80d1908a44..69dbe4bb0b 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -380,7 +380,10 @@ SubmittingPatches.txt: SubmittingPatches $(QUIET_GEN) cp $< $@ XSLT = docbook.xsl -XSLTOPTS = --xinclude --stringparam html.stylesheet docbook-xsl.css +XSLTOPTS = +XSLTOPTS += --xinclude +XSLTOPTS += --stringparam html.stylesheet docbook-xsl.css +XSLTOPTS += --param generate.consistent.ids 1 user-manual.html: user-manual.xml $(XSLT) $(QUIET_XSLTPROC)$(RM) $@+ $@ && \ |