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-help.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-help.txt')
| -rw-r--r-- | Documentation/git-help.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/git-help.txt b/Documentation/git-help.txt index 338b8d61ce..c6f7ce7ebc 100644 --- a/Documentation/git-help.txt +++ b/Documentation/git-help.txt @@ -18,10 +18,10 @@ With no options and no COMMAND or GUIDE given, the synopsis of the 'git' command and a list of the most commonly used Git commands are printed on the standard output. -If the option '--all' or '-a' is given, all available commands are +If the option '--all' or `-a` is given, all available commands are printed on the standard output. -If the option '--guide' or '-g' is given, a list of the useful +If the option '--guide' or `-g` is given, a list of the useful Git guides is also printed on the standard output. If a command, or a guide, is given, a manual page for that command or |