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

From: Felipe Contreras <[email-masked]>
Date: Mon, 08 May 2023 10:38:48 -0600

Junio C Hamano wrote:
> * 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