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
 ------------------------