This is the mail archive of the gcc-bugs@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]

Re: specific.html: Links within don't work


>>>>> "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.

Tom


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]