diff options
| author | Junio C Hamano <gitster@pobox.com> | 2015-10-22 13:02:33 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2015-10-22 13:02:33 -0700 |
| commit | 3b19dba7030f179cf981a8714693f74c07d915a4 (patch) | |
| tree | c2c93352c1309e47a20efce2cd0c94e77d8e0ffd /Documentation/git-push.txt | |
| parent | 441c4a40173fe1ee8a5c0094e587dfc47e2a6460 (diff) | |
| download | git-3b19dba7030f179cf981a8714693f74c07d915a4.tar.gz | |
Documentation: AsciiDoc spells em-dash as double-dashes, not triple
Again, we do not usually process release notes with AsciiDoc, but it
is better to be consistent.
This incidentally reveals breakages left by an ancient 5e00439f
(Documentation: build html for all files in technical and howto,
2012-10-23). The index-format documentation was originally written
to be read as straight text without formatting and when the commit
forced everything in Documentation/ to go through AsciiDoc, it did
not do any adjustment--hence the double-dashes will be seen in the
resulting text that is rendered as preformatted fixed-width without
converted into em-dashes.
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 b17283ab7a..3267e2111e 100644 --- a/Documentation/git-push.txt +++ b/Documentation/git-push.txt @@ -61,7 +61,7 @@ be named. If `git push [<repository>]` without any `<refspec>` argument is set to update some ref at the destination with `<src>` with `remote.<repository>.push` configuration variable, `:<dst>` part can -be omitted---such a push will update a ref that `<src>` normally updates +be omitted--such a push will update a ref that `<src>` normally updates without any `<refspec>` on the command line. Otherwise, missing `:<dst>` means to update the same ref as the `<src>`. + |