Re: [PATCH] doc: make HTML manual reproducible

From: Martin Ågren <martin.agren@gmail.com>
Date: Dec 1, 2020, 19:57 UTC
Message-ID: <CAN0heSo6Cd3cd6iBHbSU7ESKF79Kwk24KEcioiEdQ_=iBZRQ-g@mail.gmail.com>
In-Reply-To: <xmqqpn3tpbsl.fsf@gitster.c.googlers.com>

On Tue, 1 Dec 2020 at 20:27, Junio C Hamano <gitster@pobox.com> wrote:

Show 7 quoted lines

>
> Todd Zullinger <tmz@pobox.com> 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.

Show 7 quoted lines

> >>  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