dead links on 'G77 Bugs' page

[Joseph S. Myers]

On Tue, 6 Aug 2002, Gerald Pfeifer wrote:

> Toon, Joseph, should we just remove "G77 Bugs" from
>   http://gcc.gnu.org/onlinedocs/
> or do you know how to fix this?

Since we use makeinfo --html now rather than texi2html, we can link direct
to the fixed file names (g77/News.html, g77/Trouble.html) and remove the
logic to create links to them from update_web_docs (and, for completeness,
add redirects for the old names as was done for thanks.html).

-- 
Joseph S. Myers
jsm28@cam.ac.uk