diff options
author | Matthieu Moy <Matthieu.Moy@imag.fr> | 2016-06-28 13:40:11 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-06-28 08:36:45 -0700 |
commit | bcf9626a71a0d90be65acc265ad0ec488d95d6ed (patch) | |
tree | 9612c442f9437ba58b7b7baa46ba73282ff790a6 /Documentation/git-push.txt | |
parent | 23f8239bbe0a893bd8754a03e9d4fda62804ac14 (diff) | |
download | git-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/git-push.txt')
-rw-r--r-- | Documentation/git-push.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt index 19f46b64d3..93c3527f0c 100644 --- a/Documentation/git-push.txt +++ b/Documentation/git-push.txt @@ -275,7 +275,7 @@ origin +master` to force a push to the `master` branch). See the all submodules that changed in the revisions to be pushed will be pushed. If on-demand was not able to push all necessary revisions it will also be aborted and exit with non-zero status. A value of - 'no' or using '--no-recurse-submodules' can be used to override the + 'no' or using `--no-recurse-submodules` can be used to override the push.recurseSubmodules configuration variable when no submodule recursion is required. |