diff options
| author | J. Bruce Fields <bfields@citi.umich.edu> | 2007-01-29 00:17:51 -0500 |
|---|---|---|
| committer | J. Bruce Fields <bfields@citi.umich.edu> | 2007-01-29 00:17:51 -0500 |
| commit | fc90c536dc5f29a89402e5f5411a3283c644b864 (patch) | |
| tree | 0500a0dfabc602e6cbb70f42b9f4461ee51a0335 | |
| parent | 9d13bda3fffc948c0b2576f08a33ac7f547fe9b3 (diff) | |
| download | git-fc90c536dc5f29a89402e5f5411a3283c644b864.tar.gz | |
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" <bfields@citi.umich.edu>
| -rw-r--r-- | Documentation/user-manual.txt | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt index 3e367a0adb..ce0e91b1da 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 ------------------------- |