diff options
author | Matthieu Moy <Matthieu.Moy@imag.fr> | 2016-06-28 14:40:10 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-06-28 18:20:52 +0300 |
commit | 23f8239bbe0a893bd8754a03e9d4fda62804ac14 (patch) | |
tree | 0947594a08ce642309a2a9c3a85b24b7cbe24489 /Documentation/git.txt | |
parent | 46e22b70dfe541f4ca1c04a53aba17df377b70f9 (diff) |
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.txt')
-rw-r--r-- | Documentation/git.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/git.txt b/Documentation/git.txt index 25ef006c32..24efc63c8a 100644 --- a/Documentation/git.txt +++ b/Documentation/git.txt @@ -508,7 +508,7 @@ OPTIONS --help:: Prints the synopsis and a list of the most commonly used - commands. If the option '--all' or '-a' is given then all + commands. If the option '--all' or `-a` is given then all available commands are printed. If a Git command is named this option will bring up the manual page for that command. + @@ -974,7 +974,7 @@ other The command will be given exactly two or four arguments: the 'username@host' (or just 'host') from the URL and the shell command to execute on that remote system, optionally preceded by - '-p' (literally) and the 'port' from the URL when it specifies + `-p` (literally) and the 'port' from the URL when it specifies something other than the default SSH port. + `$GIT_SSH_COMMAND` takes precedence over `$GIT_SSH`, and is interpreted |