------- Comment #7 from skunk at iskunk dot org 2010-05-04 20:23 -------
Thomas, please have a look at your version of makeinfo(1).
I've confirmed that this is not a bug in GCC. Building GCC 4.4.3 with makeinfo
4.7 fails as I originally described, but building on a more recent system with
makeinfo 4.13 succeeds.
Marking as invalid accordingly.
--
skunk at iskunk dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |INVALID
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33549
