From: Firmin Martin Date: Sun, 04 Apr 2021 04:31:14 GMT Subject: Re: [PATCH v2 0/1] user-manual.txt: assign preface an id and a title 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 writes: > 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