On Tue, Oct 17, 2017 at 07:52:03PM +0200, Andreas Schwab wrote: > > Yes, it's in that step, but xmlto is just driving the xslt > > transformation done by docbook. So the interesting version is probably > > docbook. I have docbook-xsl 1.79.1+dfsg-2 (from Debian unstable). > > docbook-xsl-stylesheets-1.78.1+svn9743 Hmm. That could be it, though I was unable to bisect on the docbook repo since I couldn't get their build to work reliably. One other thing to try: rm git-branch.1 make NO_MAN_BOLD_LITERAL=1 git-branch.1 It's possible our snippet to add in the bolding causes problems. -Peff
