threads / patch / 9846

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

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

## tl;dr

One message between Sep 14, 2007 and Sep 14, 2007. Diffs are folded; open one to read it.

replies: 0people: 1as markdown or json

Junio C Hamano· Sep 14, 2007, 21:48 UTC · lore
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(-)
Show changes to Documentation/git-config.txt +1 −1
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.)

← back to recent threads