[Bug web/87933] Bad headers and titles for:

[sch...@linux-m68k.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87933

--- Comment #6 from Andreas Schwab <sch...@linux-m68k.org> ---
Most like this is a texinfo 4 vs 5+ difference.