On Thu, Jan 19, 2017 at 1:05 AM, Henrique de Moraes Holschuh <h...@debian.org> wrote: > 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 -- Best regards, Michael
