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

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

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

--- Comment #3 from Andreas Schwab <sch...@linux-m68k.org> 2011-10-28 18:33:57 
UTC ---
That's not the one being used.