On Tue, Jul 23, 2024 at 1:44 PM Junio C Hamano <gitster@xxxxxxxxx> 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 <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@xxxxxxxxx>