From: Firmin Martin Date: Sun, 04 Apr 2021 04:07:38 GMT Subject: [PATCH v2 0/1] user-manual.txt: assign preface an id and a title Message-ID: <20210404040739.2671960-1-firminmartin24@gmail.com> In-Reply-To: <20210402121303.344914-1-firminmartin24@gmail.com> 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