[PATCH 1/4] user-manual.txt: add missing section label

From: Martin Ågren <martin.agren@gmail.com>
Date: Sep 22, 2019, 11:57 UTC
Message-ID: <f8ef5ba3d1ec9795dc2ad49f79472020f0622e00.1569152396.git.martin.agren@gmail.com>
In-Reply-To: <cover.1569152396.git.martin.agren@gmail.com>

We provide a label for each chapter and section except for the "Pitfalls with submodules" section. Since we're doing it everywhere else, let's do it here, too.

Signed-off-by: Martin Ågren <martin.agren@gmail.com>
---
 Documentation/user-manual.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt
index 8bce75b2cf..2dc2ffdaab 100644
--- a/Documentation/user-manual.txt
+++ b/Documentation/user-manual.txt
@@ -3698,6 +3698,7 @@ $ git push
 You have to run `git submodule update` after `git pull` if you want to update
 submodules, too.
 
+[[pitfalls-with-submodules]]
 Pitfalls with submodules
 ------------------------

-- 
2.23.0