From: Eric Sunshine Date: Tue, 23 Jul 2024 17:47:47 GMT Subject: Re: [PATCH] doc: git-clone fix discrepancy between asciidoc and asciidoctor Message-ID: In-Reply-To: On Tue, Jul 23, 2024 at 1:44 PM Junio C Hamano wrote: > Subject: [PATCH] Doc: fix Asciidoctor css workaround > > The previous step introduced docinfo.html to be used to tweak the > CSS used by the asciidoctor, that by default renders inside >
 as a block element, breaking the SYNOPSIS section of a few
> pages that adopted a new convention we use since Git 2.45.
>
> But in this project, HTML files are all generated.  We do not force
> any human to write HTML by hand, which is an unusual and cruel
> punishment.  "*.html" is in the .gitignore file, and "make clean"
> removes them.  Having a tracked .html file makes "make clean" make
> the tree dirty by removing the tracked docinfo.html file.
>
> Let's do an obvious, minimum and stupid workaround to generate that
> file at runtime instead.  The mark-up is being rethought in a major
> way for the next development cycle, so what the CSS workaround we

Perhaps? s/what/that/

> added in the previous step may have to adjusted, possibly in a large
> way, anyway.
>
> Signed-off-by: Junio C Hamano