diff options
author | Junio C Hamano <gitster@pobox.com> | 2020-12-14 21:21:37 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-12-14 21:21:37 +0300 |
commit | aa35dadb26bf79fc100d84f3effbdc161849386c (patch) | |
tree | fe7a40b64576ae4623ddb6a186d113462b2682ca /Documentation | |
parent | c9f1f4412cdb7fdb5da47fd1c5bc9614cc9aa48c (diff) | |
parent | 3569e11d6999cf18549626356784c9fd74f3d43e (diff) |
Merge branch 'ae/doc-reproducible-html'
Newer versions of xsltproc can assign IDs in HTML documents it
generates in a consistent manner. Use the feature to help format
HTML version of the user manual reproducibly.
* ae/doc-reproducible-html:
doc: make HTML manual reproducible
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) $@+ $@ && \ |