path: root/Documentation/git.txt
diff options
authorJonathan Nieder <>2008-07-03 05:55:07 (GMT)
committerJunio C Hamano <>2008-07-05 18:24:40 (GMT)
commit2fd02c92dbb6e575b7e62ea9dfa85ef45ebe58b6 (patch)
tree36245e4f2c047fe68d7af66fd6b9c2619d2c6762 /Documentation/git.txt
parent42d36bb841eb035eb0f7261f02987893c14e1a02 (diff)
manpages: italicize nongit command names (if they are in teletype font)
Some manual pages use teletype font to set command names. We change them to use italics, instead. This creates a visual distinction between names of commands and command lines that can be typed at the command line. It is also more consistent with other man pages outside Git. In this patch, the commands named are non-git commands like bash. Signed-off-by: Jonathan Nieder <> Signed-off-by: Junio C Hamano <>
Diffstat (limited to 'Documentation/git.txt')
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git.txt b/Documentation/git.txt
index db4da79..07e9e57 100644
--- a/Documentation/git.txt
+++ b/Documentation/git.txt
@@ -486,7 +486,7 @@ other
If this environment variable is set then 'git-fetch'
and 'git-push' will use this command instead
- of `ssh` when they need to connect to a remote system.
+ of 'ssh' when they need to connect to a remote system.
The '$GIT_SSH' command will be given exactly two arguments:
the 'username@host' (or just 'host') from the URL and the
shell command to execute on that remote system.