Hi, > > 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
I did read the FAQ before reading the bug reports or mailing this list, and the answers to my two questions above are not to be found in the FAQ, hence I was hoping somebody on the mailing list would know. > https://github.com/Debian/debiman/ ; pull requests ( > https://github.com/Debian/debiman/pulls ) are welcome ; seems it's mainly the > work of Michael Stapelberg . Unfortunately, a PR to the software itself is not going to affect how manpages.debian.org is hosted or updated. I do not think there is anything wrong with the code - it is more likely something that can only be fixed with access to the thing that hosts manpages.debian.org.
