Re: Debian "man pages" not available

On 8/12/2016 3:59 AM, Javier Fernandez-Sanguino wrote:
>
> On 12 August 2016 at 10:11, Richard Owlett <[email protected]
> <mailto:[email protected]>> wrote:
>
>     For more than last 12 hours
>
>     http://manpages.debian.org/cgi-bin/man.cgi
>     <http://manpages.debian.org/cgi-bin/man.cgi> gives a 404 error
>     http://manpages.debian.org/ yields page saying:
>     "
>     Welcome to glinka!
>     This is glinka, a system run by and for the Debian Project.
>     She does stuff. What kind of stuff and who our kind sponsors
>     are you might learn on db.debian.org <http://db.debian.org>.
>
>     DSA
>     "
>
>
> Yes, the DSA has decided to take down the service due to issues
> in glinka (although not necessarily attributed to the man.cgi script)
>
> I've not had time yet to check what happened and fix it.
>
>
> Saludos
>
> Javier
>

https://manpages.debian.org/cgi-bin/man.cgi still giving a 404 error.
As I don't always have my Debian machine available, I've been 
using https://manned.org as a substitute. Also I find the HTML 
version more accessible.

There are minor, but significant to me, differences between 
Debian version and the manned.org version.

In the interim, are Debian version of man pages available 
elsewhere on the net.

Thank you.