Re: manpages.debian.org has been modernized!
On Thu, Jan 19, 2017 at 1:05 AM, Henrique de Moraes Holschuh
> On Wed, 18 Jan 2017, Michael Stapelberg wrote:
>> https://manpages.debian.org has been modernized! We have just launched
>> a major update to our manpage repository. What used to be served via a
>> CGI script is now a statically generated website, and therefore
>> blazingly fast.
> Oooh, nice! A big thank you for all involved!
Glad you like it :)
>> Much like the Debian package tracker, manpages.debian.org includes
>> packages from Debian oldstable, oldstable-backports, stable,
>> stable-backports, testing and unstable. New manpages should make their
>> way onto manpages.debian.org within a few hours.
> Maybe you could consider adding the manpages from packages in contrib as
> well? Unlike non-free, the licenses in contrib are all compatible with
> the DFSG, so they must not have any license restrictions that would get
> in the way...
Thanks, that’s a good point. I’ll add contrib soon. Feel free to
subscribe to https://github.com/Debian/debiman/issues/34