diff options
| author | Junio C Hamano <gitster@pobox.com> | 2020-12-14 10:21:37 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-12-14 10:21:37 -0800 |
| commit | aa35dadb26bf79fc100d84f3effbdc161849386c (patch) | |
| tree | fe7a40b64576ae4623ddb6a186d113462b2682ca | |
| parent | Merge branch 'so/glossary-branch-is-not-necessarily-active' (diff) | |
| parent | doc: make HTML manual reproducible (diff) | |
| download | git-aa35dadb26bf79fc100d84f3effbdc161849386c.tar.gz git-aa35dadb26bf79fc100d84f3effbdc161849386c.zip | |
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
| -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) $@+ $@ && \ |