From fc90c536dc5f29a89402e5f5411a3283c644b864 Mon Sep 17 00:00:00 2001 From: "J. Bruce Fields" Date: Mon, 29 Jan 2007 00:17:51 -0500 Subject: [PATCH] user-manual: add references to git-config man page Direct editing of config files may be more natural for users than using the git-config commandline; but we should still reference the git-config man page when we describe such editing, so people know where to go for details on the config file syntax and meanings of the variables. Signed-off-by: "J. Bruce Fields" --- Documentation/user-manual.txt | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt index 3e367a0ad..ce0e91b1d 100644 --- 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 ------------------------- -- 2.26.2