mbox series

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

Message ID 20210404040739.2671960-1-firminmartin24@gmail.com (mailing list archive)
Headers show
Series user-manual.txt: assign preface an id and a title | expand

Message

Firmin Martin April 4, 2021, 4:07 a.m. UTC
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(+)

Comments

Firmin Martin April 4, 2021, 4:31 a.m. UTC | #1
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:

> 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