http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49978 --- Comment #6 from hal at oz dot net 2011-08-04 17:44:42 UTC --- Well, ok, but who is responsible for that? And it still remains the case that "make pdf" doesn't work.