summaryrefslogtreecommitdiff
path: root/Documentation/gitk.txt
diff options
context:
space:
mode:
authorMatthieu Moy <Matthieu.Moy@imag.fr>2016-06-28 13:40:11 +0200
committerJunio C Hamano <gitster@pobox.com>2016-06-28 08:36:45 -0700
commitbcf9626a71a0d90be65acc265ad0ec488d95d6ed (patch)
tree9612c442f9437ba58b7b7baa46ba73282ff790a6 /Documentation/gitk.txt
parent23f8239bbe0a893bd8754a03e9d4fda62804ac14 (diff)
downloadgit-bcf9626a71a0d90be65acc265ad0ec488d95d6ed.tar.gz
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/gitk.txt')
-rw-r--r--Documentation/gitk.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/gitk.txt b/Documentation/gitk.txt
index 6ade002176..a68d860fa3 100644
--- a/Documentation/gitk.txt
+++ b/Documentation/gitk.txt
@@ -82,7 +82,7 @@ linkgit:git-rev-list[1] for a complete list.
--simplify-merges::
- Additional option to '--full-history' to remove some needless
+ Additional option to `--full-history` to remove some needless
merges from the resulting history, as there are no selected
commits contributing to this merge. (See "History
simplification" in linkgit:git-log[1] for a more detailed