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

From: Junio C Hamano <gitster@pobox.com>
Date: Sep 14, 2007, 21:48 UTC
Message-ID: <7vbqc4apgu.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <200709102307.02468.bramschoenmakers@xs4all.nl>

Bram Schoenmakers <bramschoenmakers@xs4all.nl> 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.)