user-manual: add references to git-config man page

diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt
index 3e367a0adb039e915dec0555251a40d96a9a3feb..ce0e91b1daa7aff07782da7e570124210ea3debd 100644 (file)
--- a/Documentation/user-manual.txt
+++ b/Documentation/user-manual.txt
@@ -601,9 +601,10 @@ $ cat .git/config
 ...
 -------------------------------------------------
 
-This is what causes git to track the remote's branches; you may
-modify or delete these configuration options by editing .git/config
-with a text editor.
+This is what causes git to track the remote's branches; you may modify
+or delete these configuration options by editing .git/config with a
+text editor.  (See the "CONFIGURATION FILE" section of
+gitlink:git-config[1] for details.)
 
 Exploring git history
 =====================
@@ -955,6 +956,9 @@ $ cat >~/.gitconfig <<\EOF
 EOF
 ------------------------------------------------
 
+(See the "CONFIGURATION FILE" section of gitlink:git-config[1] for
+details on the configuration file.)
+
 
 Creating a new repository
 -------------------------