On 2017-01-18 18:23:16, 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.
Thanks a lot for this. > We’d love to hear your feedback and thoughts. Either contact us via an > issue on https://github.com/Debian/debiman/issues/, or send an email > to the debian-doc mailing list (see > https://lists.debian.org/debian-doc/). Maybe it'd be worth to package it and use BTS for tracking issues? I'm not volunteering to do the above but I think that services running in d.o domain should be available from Debian main. -- |_|0|_| | |_|_|0| "Panta rei" | |0|0|0| -------- kuLa -------- | gpg --keyserver pgp.mit.edu --recv-keys 0x686930DD58C338B3 3DF1 A4DF C732 4688 38BC F121 6869 30DD 58C3 38B3
signature.asc
Description: PGP signature
