https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125175
--- Comment #2 from Joó Péter <joo.peter at gmail dot com> --- (In reply to Jonathan Wakely from comment #1) > This is a known problem. The pdf wouldn't build, I haven't figured out why > yet. > > Do you actually want that PDF? I'm amazed anybody is using it. I am using it solely for comparison between gcc versions. I am fine without it, of course. What I am not fine with is inconsistency: that's why I created this bug report.
