> Date: Tue, 27 Dec 2011 09:42:05 -0800 > From: Paul Eggert <[email protected]> > > 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.
