Re: broken links in Texinfo manual on www.gnu.org

[Eli Zaretskii]

> Date: Tue, 27 Dec 2011 09:42:05 -0800
> From: Paul Eggert <address@hidden>
> 
>   Line: 15668 http://www.gnu.org/software/texinfo/manual/texinfo/gzip.html
>       Status: 404 Not Found
> ...
> The source for this link is in doc/texinfo.txi, and looks like this:
> 
>   @pxref{Top,,,gzip,Gzip}
> 
> This is the "normal" way for one GNU manual to cite another, but it's
> not working on the web.  What's a good way to fix this?

We could have a small HTML file at that address which will just
redirect to the correct place.