Re: Minor man page weirdness?

Andreas Schwab [off-list ref] writes:

On Okt 16 2017, Jeff King [off-list ref] wrote:

quoted

We do have some hacks/workarounds for broken versions of the toolchain.
You can try tweaking various knobs you find in Documentation/Makefile).
DOCBOOK_SUPPRESS_SP sounds promising, but I think it actually does the
opposite (removes extra spaces).

An easy workaround would be to add a comma between `-f` and 'git
branch'.

That sounds like a good idea, regardless of the mark-up issue.