specific.html: Links within don't work

Tom Tromey tromey@redhat.com
Wed Jul 4 12:48:00 GMT 2001

>>>>> "Gerald" == Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at> writes:

Gerald> This happened because makeinfo on gcc.gnu.org was way too
Gerald> old. As I had planned originally, I now fixed the problem by
Gerald> making /usr/bin/makeinfo a symlink to
Gerald> /usr/local/bin/makeinfo-4.0 and everything seems to be fine
Gerald> again.

I think we should try to keep using RPM as much as possible.
So instead of this symlink, how about modifying whatever script
generates the html to set PATH so it finds the new makeinfo first?
Or we could upgrade the texinfo RPM if a new one is available.


More information about the Gcc-bugs mailing list