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
