Re: [PATCH] doc/gitremote-helpers: fix more missing single-quotes

From: Jeff King <peff@peff.net>
Date: Mar 22, 2024, 06:39 UTC
Message-ID: <20240322063907.GA11682@coredump.intra.peff.net>
In-Reply-To: <519698f1-1daf-4085-9aec-380f44492e72@gmail.com>

On Thu, Mar 21, 2024 at 11:28:01AM +0100, Jean-Noël Avila wrote:

Show 9 quoted lines

> > -'option deepen-relative {'true'|'false'}::
> > +'option deepen-relative' {'true'|'false'}::
> >  	Deepens the history of a shallow repository relative to
> >  	current boundary. Only valid when used with "option depth".
> 
> The syntax for describing alternatives is specified as (true|false).
> 
> Also, in my reworks of syntax, I chose to remove all formatting from the
> term parts of the description lists.

I don't have an opinion on the typesetting of true/false here, but this does match the rest of the document. If you have another series fixing them all up, I'm happy if it overrides this patch (as long as the rendering error is fixed one way or the other).

-Peff