Re: [PATCH] Tiny fix in git-config manual

Bram Schoenmakers [off-list ref] writes:

A little problem is shown in the git-config manual, where the possible
locations for the configuration files is to be found. The dot is a special
character and hence not visible in the resulting documents. This patch
fixes this by adding an additional whitespace.

Thanks, but depending on the docbook stylesheet version this
does not seem to do anything or does not seem to fix the issue.

As we usually refer the repository metadata directory $GIT_DIR,
I am inclined to do this instead.

---

 Documentation/git-config.txt |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/Documentation/git-config.txt b/Documentation/git-config.txt
index 5b794f4..a592b61 100644
--- a/Documentation/git-config.txt
+++ b/Documentation/git-config.txt

@@ -142,7 +142,7 @@ FILES
 If not set explicitly with '--file', there are three files where
 git-config will search for configuration options:
 
-.git/config::
+$GIT_DIR/config::
 	Repository specific configuration file. (The filename is
 	of course relative to the repository root, not the working
 	directory.)