diff options
author | Matthieu Moy <Matthieu.Moy@imag.fr> | 2016-06-28 14:40:11 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-06-28 18:36:45 +0300 |
commit | bcf9626a71a0d90be65acc265ad0ec488d95d6ed (patch) | |
tree | 9612c442f9437ba58b7b7baa46ba73282ff790a6 /Documentation/gitdiffcore.txt | |
parent | 23f8239bbe0a893bd8754a03e9d4fda62804ac14 (diff) |
doc: typeset long command-line options as literal
Similarly to the previous commit, use backquotes instead of
forward-quotes, for long options.
This was obtained with:
perl -pi -e "s/'(--[a-z][a-z=<>-]*)'/\`\$1\`/g" *.txt
and manual tweak to remove false positive in ascii-art (o'--o'--o' to
describe rewritten history).
Signed-off-by: Matthieu Moy <Matthieu.Moy@imag.fr>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/gitdiffcore.txt')
-rw-r--r-- | Documentation/gitdiffcore.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/gitdiffcore.txt b/Documentation/gitdiffcore.txt index c579593e55..08cf62278e 100644 --- a/Documentation/gitdiffcore.txt +++ b/Documentation/gitdiffcore.txt @@ -28,8 +28,8 @@ The 'git diff-{asterisk}' family works by first comparing two sets of files: - 'git diff-index' compares contents of a "tree" object and the - working directory (when '--cached' flag is not used) or a - "tree" object and the index file (when '--cached' flag is + working directory (when `--cached` flag is not used) or a + "tree" object and the index file (when `--cached` flag is used); - 'git diff-files' compares contents of the index file and the |