On Tue, 1 Dec 2020 at 20:27, Junio C Hamano <gitster@xxxxxxxxx> wrote: > > Todd Zullinger <tmz@xxxxxxxxx> writes: > > > Arnout Engelen wrote: > >> 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. > >> 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) $@+ $@ && \ > > > I think it is in general a good thing to do (can we lose some lines > from doc-diff, I wonder?) and many of the result of your study shown This is only about user-manual.html, which is outside the scope of our doc-diff tool, both by being html not man, and by being user-manual. So no, no reduction in any doc-diff, unfortunately. Martin
