diff options
| author | Jonathan Nieder <jrnieder@uchicago.edu> | 2008-07-03 09:55:07 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-07-05 22:24:40 +0400 |
| commit | 2fd02c92dbb6e575b7e62ea9dfa85ef45ebe58b6 (patch) | |
| tree | 36245e4f2c047fe68d7af66fd6b9c2619d2c6762 /Documentation/git.txt | |
| parent | 42d36bb841eb035eb0f7261f02987893c14e1a02 (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 <jrnieder@uchicago.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git.txt')
| -rw-r--r-- | Documentation/git.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git.txt b/Documentation/git.txt index db4da79b79..07e9e57c58 100644 --- a/Documentation/git.txt +++ b/Documentation/git.txt @@ -486,7 +486,7 @@ other 'GIT_SSH':: 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. |