Re: What's cooking in git.git (May 2023, #02; Fri, 5)

From: Felipe Contreras <felipe.contreras@gmail.com>
Date: May 8, 2023, 16:38 UTC
Message-ID: <6459259847ace_7c68294a0@chronos.notmuch>
In-Reply-To: <xmqqmt2ibcq2.fsf@gitster.g>

Junio C Hamano wrote:

Show 7 quoted lines

> * fc/doc-man-lift-title-length-limit (2023-05-03) 1 commit
>   (merged to 'next' on 2023-05-04 at d048eb1ef8)
>  + doc: manpage: remove maximum title length
> 
>  The titles of manual pages (formatted with AsciiDoc) used to be
>  chomped at unreasonably short limit, which has been removed; this
>  makes the formatted output match that of asciidoctor.

That description is not accurate.

The documentation built with and without USE_ASCIIDOCTOR uses docbook-xsl, so in both cases (asciidoc.py and asciidoctor) titles are trimmed.

My USE_ASCIIDOCTOR_MANPAGE proposal was never merged, so we can't build the documentation with asciidoctor's manpage backend, it's always using the docbook backend, so it's always trimmed.

-- 
Felipe Contreras