diff options
author | Jonathan Nieder <jrnieder@uchicago.edu> | 2008-07-03 00:55:07 -0500 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2008-07-05 11:24:40 -0700 |
commit | 2fd02c92dbb6e575b7e62ea9dfa85ef45ebe58b6 (patch) | |
tree | 36245e4f2c047fe68d7af66fd6b9c2619d2c6762 /Documentation/git-apply.txt | |
parent | 42d36bb841eb035eb0f7261f02987893c14e1a02 (diff) | |
download | git-2fd02c92dbb6e575b7e62ea9dfa85ef45ebe58b6.tar.gz |
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-apply.txt')
-rw-r--r-- | Documentation/git-apply.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-apply.txt b/Documentation/git-apply.txt index 182305e9a9..e9f724b2fa 100644 --- a/Documentation/git-apply.txt +++ b/Documentation/git-apply.txt @@ -121,7 +121,7 @@ discouraged. --no-add:: When applying a patch, ignore additions made by the patch. This can be used to extract the common part between - two files by first running `diff` on them and applying + two files by first running 'diff' on them and applying the result with this option, which would apply the deletion part but not addition part. |