Re: manpages.debian.org next update?
Hi Otto e.a.,
On Thu, Dec 26, 2024 at 04:01:29PM -0800, Otto Kekäläinen wrote:
>
> Is there any public documentation on the server that hosts
> manpages.debian.org?
>
> What can a DD do to help when it seems that the pages haven't updated for a
> couple of months?
>
>
> I found some bug reports from 2021 (that are still open) but I can't find
> any docs on what exactly the manpages.debian.oeg backend is.
>
> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=986030
> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=994761
There is https://manpages.debian.org/faq.html which I believe answers most of
your questions; the code which runs manpages.debian.org is
https://github.com/Debian/debiman/ ; pull requests (
https://github.com/Debian/debiman/pulls ) are welcome ; seems it's mainly the
work of Michael Stapelberg .
HTH, Bye,
Joost
Reply to: