diff options
author | Matthieu Moy <Matthieu.Moy@imag.fr> | 2016-06-28 13:40:10 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-06-28 08:20:52 -0700 |
commit | 23f8239bbe0a893bd8754a03e9d4fda62804ac14 (patch) | |
tree | 0947594a08ce642309a2a9c3a85b24b7cbe24489 /Documentation/git-mv.txt | |
parent | 46e22b70dfe541f4ca1c04a53aba17df377b70f9 (diff) | |
download | git-23f8239bbe0a893bd8754a03e9d4fda62804ac14.tar.gz |
doc: typeset short command-line options as literal
It was common in our documentation to surround short option names with
forward quotes, which renders as italic in HTML. Instead, use backquotes
which renders as monospace. This is one more step toward conformance to
Documentation/CodingGuidelines.
This was obtained with:
perl -pi -e "s/'(-[a-z])'/\`\$1\`/g" *.txt
Signed-off-by: Matthieu Moy <Matthieu.Moy@imag.fr>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-mv.txt')
-rw-r--r-- | Documentation/git-mv.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-mv.txt b/Documentation/git-mv.txt index 6dcb8b23ec..79449bf98f 100644 --- a/Documentation/git-mv.txt +++ b/Documentation/git-mv.txt @@ -35,7 +35,7 @@ OPTIONS Skip move or rename actions which would lead to an error condition. An error happens when a source is neither existing nor controlled by Git, or when it would overwrite an existing - file unless '-f' is given. + file unless `-f` is given. -n:: --dry-run:: Do nothing; only show what would happen |