https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61505
Dominique d'Humieres <dominiq at lps dot ens.fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Last reconfirmed| |2014-06-13
Resolution|FIXED |---
Ever confirmed|0 |1
--- Comment #3 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
I am at stage 2 now after using makeinfo (GNU texinfo) 4.8 instead of 5.2.
