This is the mail archive of the
mailing list for the GCC project.
Re: specific.html: Links within don't work
- To: Tom Tromey <tromey at redhat dot com>
- Subject: Re: specific.html: Links within don't work
- From: Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>
- Date: Wed, 4 Jul 2001 23:25:36 +0200 (CEST)
- cc: <RDBrown at mira dot net>, <RBrown64 at csc dot com dot au>, <gcc-bugs at gcc dot gnu dot org>, <overseers at gcc dot gnu dot org>
On 4 Jul 2001, Tom Tromey wrote:
>> This happened because makeinfo on gcc.gnu.org was way too
>> old. As I had planned originally, I now fixed the problem by
>> making /usr/bin/makeinfo a symlink to
>> /usr/local/bin/makeinfo-4.0 and everything seems to be fine 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?
I considered this, but as the script is CVS-controlled and should "just
work" out-of-the-box, so I didn't want to encode host-specific paths or
program names (like makeinfo-4.0) there.
As Jason M. approved the symlink, I thought this was okay...
> Or we could upgrade the texinfo RPM if a new one is available.
...but upgrading the texinfo RPM definitely should be fine as well (and
actually better, yes).
Gerald "Jerry" email@example.com http://www.dbai.tuwien.ac.at/~pfeifer/