From: Andreas Schwab Date: Tue, 17 Oct 2017 18:00:04 GMT Subject: Re: Minor man page weirdness? Message-ID: <87zi8psli3.fsf@linux-m68k.org> In-Reply-To: <20171016225641.x76jwycb7mcpvrw3@sigill.intra.peff.net> On Okt 16 2017, Jeff King wrote: > 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'. Andreas. -- Andreas Schwab, schwab@linux-m68k.org GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 "And now for something completely different."