On 10 April 2018 at 22:04, Andreas Heiduk <asheiduk@xxxxxxxxx> wrote: > Am 10.04.2018 um 21:13 schrieb Martin Ågren: >> On 10 April 2018 at 20:32, Andreas Heiduk <asheiduk@xxxxxxxxx> wrote: >> Hmm, I wonder if that is actually intentional. `git commit --amend` >> could be run exactly like that and would do what this paragraph expects >> of it. The 'git-rebase' is a Git subcommand name, i.e., not some >> copy-paste command-line ready for use. If it were something like `git >> rebase -i HEAD~5`, I would expect the backticks. > > That page mostly uses single quotes and no dash ('git send-email')for > formatting. Reading 'CodingGuidelines' my understanding is, that git > commands should be typeset with backticks, no dash (`git send-email`). > So 'git-rebase' (an similar) *should* be typeset as `git rebase`. But > doing so consistently would be a full-diff for this manual page. > > Should I do this? Your reading seems correct, so I was wrong in my speculation. My guess is such a patch would be welcome. I checked a couple of man-pages and this one seems particularly heavy on 'git foo' as opposed to `git foo`. I think that's a reason to fix it, not to leave it behind. Martin