[Bug other/50900] 'gmake pdf' fails in libiberty

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

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50900

--- Comment #1 from Andreas Schwab <sch...@linux-m68k.org> 2011-10-28 17:28:54 
UTC ---
What's the version of your texinfo.tex?  I get no such error with version
2010-06-17.11.