Re: [PATCH v2 1/1] user-manual.txt: assign preface an id and a title
From: Junio C Hamano <hidden>
Date: 2021-04-04 06:21:38
Firmin Martin [off-list ref] writes:
-<preface>
-<title></title>
+<preface id="_introduction">
+<title>Introduction</title>Makes sense.
-@node Top, idm4, , (dir)
+@node Top, Introduction, , (dir)and of course this looks nicer.
@documentlanguage en
@top Git User Manual
@menu
-* : idm4.
+* Introduction::so does this. And the side effects on other formats are ...
--- 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... all sensible.
quoted hunk
Signed-off-by: Firmin Martin <redacted> --- 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
Thanks, will queue.