Re: [PATCH v2 0/1] user-manual.txt: assign preface an id and a title

From: Firmin Martin <firminmartin24@gmail.com>
Date: Apr 4, 2021, 04:31 UTC
Message-ID: <875z12isbx.fsf@Inspiron.i-did-not-set--mail-host-address--so-tickle-me>
In-Reply-To: <20210404040739.2671960-1-firminmartin24@gmail.com>

The first line of the cover-letter has been eaten because I forgot to leave an empty line... I wanted to thank Junio and Bagas for their reviews. I hope I didn't miss anything important.

Thanks,

Firmin

Firmin Martin <firminmartin24@gmail.com> writes:

Show 18 quoted lines

> I found a more satisfying way to keep the change minimal: it turns out that
> [preface] does exactly what we want. It just adds the missing id and the title.
> No renumbering, etc.
>
> See https://docs.asciidoctor.org/asciidoc/latest/sections/preface/
>
> I attached the diff of user-manual.xml, user-manual.texi, git.info,
> user-manual.html (using html2markdown) and user-manual.pdf (using
> pdftotext) in the commit message which I also reworded and shortened.
>
> Firmin Martin (1):
>   user-manual.txt: assign preface an id and a title
>
>  Documentation/user-manual.txt | 3 +++
>  1 file changed, 3 insertions(+)
>
> -- 
> 2.31.1.133.g84d06cdc06