Merge branch 'fm/user-manual-use-preface'

gitster · gitster · commit 1d5fbd45c481 · 2021-04-13T15:28:51.000-07:00
Doc update to improve git.info

* fm/user-manual-use-preface:
  user-manual.txt: assign preface an id and a title
diff --git 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
