On 08/08/14 09:22, Dave Reisner wrote: > This option is only for HTML output, and we're building manpages here. I'm glad someone stop ignoring those messages. I thought the fix would be harder...