http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49978
Andreas Schwab changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|
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.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49978
--- Comment #5 from Jonathan Wakely 2011-08-04
17:41:40 UTC ---
maybe you'll need to look in texi2pdf to see exactly what it's doing, but
whatever it is, it's not something gcc is doing
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49978
--- Comment #4 from hal at oz dot net 2011-08-04 17:35:34 UTC ---
Here's what it looks like:
$ echo foo | sed "s/\(^\|.* \)@documenten/bar/"
foo
$ pgm='s/^ *@documentencoding *\([^ ][^ ]*\) *$/\1/
>t found
>d
>:found
>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49978
--- Comment #3 from Jonathan Wakely 2011-08-04
17:22:41 UTC ---
That sed command comes from texi2pdf not gcc's makefile, so it must be a change
in texi2pdf
Try:
echo foo | sed "s/\(^\|.* \)@documenten/bar/"
In GNU's texi2pdf the corresponding
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 pro
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49978
--- Comment #1 from Jonathan Wakely 2011-08-04
16:48:06 UTC ---
that looks like a problem with the sed command used by texi2pdf, not a problem
with gcc
