On Sat, Mar 10, 2018 at 12:52:09PM +0100, Martin Ågren wrote: > Someone trying this out might notice that `man git-shortlog` renders > "\--" as "\--", which is not wanted. (Also visible on git-scm.com...) > There is quite some history around such double-slashes and compatibility > with AsciiDoc-versions, so I'd rather not do a "while at it" there. > Regardless of the destiny of patch 1/3, I will follow up later to > address various forms of "\--" throughout the tree. I didn't see any follow-up here, but in case you were delaying because the history search seemed boring: dropping the backslash is the right thing to do. See the discussion in 1c262bb7b2 (doc: convert \--option to --option, 2015-05-13). -Peff