http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49978
--- Comment #2 from hal at oz dot net 2011-08-04 16:58:30 UTC --- It's the same version of sed that's been there for two years (date is may 2009), and make pdf used to work with it. Maybe something in the script changed in a way that exposed a problem? Can you send me a sample sed script/command and input to try to see if the problem can be narrowed down?