Re: [PATCH v2 1/1] user-manual.txt: assign preface an id and a title
Firmin Martin <firminmartin24@gmail.com> writes:
> -<preface>
> -<title></title>
> +<preface id="_introduction">
> +<title>Introduction</title>
> -@node Top, idm4, , (dir)
> +@node Top, Introduction, , (dir)
and of course this looks nicer.
Show 6 quoted lines
> @documentlanguage en
> @top Git User Manual
>
> @menu
> -* : idm4.
> +* Introduction::
so does this.
And the side effects on other formats are ...
Show 30 quoted lines
> --- before/user-manual.html.md 2021-04-04 05:20:55.378695854 +0200
> +++ after/user-manual.html.md 2021-04-04 05:21:11.282850802 +0200
> @@ -4,6 +4,8 @@
>
> **Table of Contents**
>
> +Introduction
> +
> 1\. Repositories and Branches
>
>
> @@ -278,7 +280,7 @@
>
> Todo list
>
> -#
> +# Introduction
>
> Git is a fast distributed revision control system.
>
> --- before/user-manual.pdf.txt 2021-04-04 05:28:20.367036836 +0200
> +++ after/user-manual.pdf.txt 2021-04-04 05:30:01.680026312 +0200
> @@ -487,6 +487,7 @@
>
> vii
>
> +Introduction
> Git is a fast distributed revision control system.
> This manual is designed to be readable by someone with basic UNIX command-line skills, but no previous knowledge of Git.
> Chapter 1 and Chapter 2 explain how to fetch and study a project using git—read these chapters to learn how to build and test a
Show 18 quoted lines
> Signed-off-by: Firmin Martin <firminmartin24@gmail.com>
> ---
> Documentation/user-manual.txt | 3 +++
> 1 file changed, 3 insertions(+)
>
> diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt
> index fd480b8645..f9e54b8674 100644
> --- a/Documentation/user-manual.txt
> +++ b/Documentation/user-manual.txt
> @@ -1,5 +1,8 @@
> = Git User Manual
>
> +[preface]
> +== Introduction
> +
> Git is a fast distributed revision control system.
>
> This manual is designed to be readable by someone with basic UNIX