Re: [PATCH] doc: git-clone fix discrepancy between asciidoc and asciidoctor

From: Eric Sunshine <sunshine@sunshineco.com>
Date: Jul 23, 2024, 17:47 UTC
Message-ID: <CAPig+cQK17Xt6p7PSO4Mn1CLx_ayceQdj8ZY1zBVG6-c33OvsQ@mail.gmail.com>
In-Reply-To: <xmqqv80w0zrx.fsf@gitster.g>

On Tue, Jul 23, 2024 at 1:44 PM Junio C Hamano <gitster@pobox.com> wrote:

Show 16 quoted lines

> 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 <code> inside
> <pre> 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 <gitster@pobox.com>