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/gitremote-helpers.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/gitremote-helpers.txt')
0 files changed, 0 insertions, 0 deletions