[PATCH] doc: make HTML manual reproducible
- From
- Arnout Engelen <arnout@bzzt.net>
- Date
- Dec 1, 2020, 09:50 UTC
- Message-ID
- <20201201095037.20715-1-arnout@bzzt.net>
This makes sure the generated id's inside the html version of the documentation use the same id's when the same version of the manual is generated twice.
Signed-off-by: Arnout Engelen <arnout@bzzt.net> --- Documentation/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Documentation/Makefile b/Documentation/Makefile index 80d1908a44..4d1fd5e31f 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -380,7 +380,7 @@ SubmittingPatches.txt: SubmittingPatches $(QUIET_GEN) cp $< $@ XSLT = docbook.xsl -XSLTOPTS = --xinclude --stringparam html.stylesheet docbook-xsl.css +XSLTOPTS = --xinclude --stringparam html.stylesheet docbook-xsl.css --stringparam generate.consistent.ids 1 user-manual.html: user-manual.xml $(XSLT) $(QUIET_XSLTPROC)$(RM) $@+ $@ && \
-- 2.29.2