Hi!

I noticed that all pages at manpages.debian.org state in their footer that
they were generated on October 21st.

Is the system that refreshes man page html broken?

Or does it really run only a few times a year?

<div dir="auto">Hi!<div dir="auto"><br></div><div dir="auto">I noticed that all pages at <a href="http://manpages.debian.org">manpages.debian.org</a> state in their footer that they were generated on October 21st.</div><div dir="auto"><br></div><div dir="
auto">Is the system that refreshes man page html broken?</div><div dir="auto"><br></div><div dir="auto">Or does it really run only a few times a year?</div></div>

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

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

<div dir="auto"><div>Hi!</div><div dir="auto"><br></div><div dir="auto">Is there any public documentation on the server that hosts <a href="http://manpages.debian.org">manpages.debian.org</a>?</div><div dir="auto"><br></div><div dir="auto">What can a DD
do to help when it seems that the pages haven&#39;t updated for a couple of months?</div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto">I found some bug reports from 2021 (that are still open) but I can&#39;t find any docs on what
exactly the manpages.debian.oeg backend is.</div><div dir="auto"><br></div><div dir="auto"><a href="https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=986030">https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=986030</a></div><div dir="auto"><a href="https:
//bugs.debian.org/cgi-bin/bugreport.cgi?bug=994761">https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=994761</a></div><div dir="auto"><br><div class="gmail_quote gmail_quote_container" dir="auto"><div dir="ltr" class="gmail_attr"><br></div><blockquote
class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
</blockquote></div></div></div>

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

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

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

On Mon, 2024-12-23 at 01:09 -0800, Otto Kekäläinen wrote:

I noticed that all pages at manpages.debian.org state in their footer
that they were generated on October 21st.

Let me start by saying that this isn't in fact accurate - for example, https://manpages.debian.org/unstable/mercurial-common/index.html was
generated in November, and https://manpages.debian.org/unstable/mercurial-common/hg-verify.1.en.html
on December 1st.

It is, however, fair to say that many pages report a generation date of
October 21st and I believe one can find a likely reason using only
breadcrumbs from https://manpages.debian.org itself. The index page
links to both https://manpages.debian.org/about.html and https://wiki.debian.org/manpages.debian.org , and each of those pages
in turn reference the use of https://github.com/Debian/debiman/issues/

The most recently reported issue in the Github repo is https://github.com/Debian/debiman/issues/181 - "Testing version doesn't
sync with archive after migration", which sounds likely to be related.
Indeed, reading through the comments, a forced regeneration was
performed on October 21st, explaining why many pages were modified on
that date. The most recent public activity on that issue is also from
October, so I don't know if there's been any further progress towards a solution.

Regards,

Adam
(not a manpages.d.o maintainer)

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

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.

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

Hello Otto

Thanks for your interest.

manpages.debian.org is run by the DSA team,
see https://wiki.debian.org/Teams/DSA and/or https://dsa.debian.org/

DSA runs a VM called manziarly.debian.org.
After Debian mirrors are updated, this VM gets an SSH login,
which in turn triggers running Debiman via a command restriction:

manziarly% cat /etc/ssh/userkeys/manpages from="syncproxy3.wna.debian.org,…",restrict,command="/srv/ manpages.debian.org/debiman/mirror-push.bash" …

All Debian-specific assets for Debiman can be found here,
including the mirror-push.bash script and others: https://salsa.debian.org/manpages-team/debian-assets

I believe this line configures where the static mirroring systems copies from/to: https://salsa.debian.org/dsa-team/mirror/dsa-puppet/-/blob/99bf943b48089f19f03ef365d4986d62a6338808/modules/staticsync/data/common.yaml#L59

If you have more questions, it would probably be best to ask them to DSA directly.

Hope that helps
Best regards
Michael

On Fri, 27 Dec 2024 at 17:35, Otto Kekäläinen <[email protected]> wrote:

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.

--
Best regards,
Michael

<div dir="ltr">Hello Otto<div><br></div><div>Thanks for your interest.</div><div><br></div><div><a href="http://manpages.debian.org">manpages.debian.org</a> is run by the DSA team,</div><div>see <a href="https://wiki.debian.org/Teams/DSA">https://wiki.
debian.org/Teams/DSA</a> and/or <a href="https://dsa.debian.org/">https://dsa.debian.org/</a></div><div><br></div><div>DSA runs a VM called <a href="http://manziarly.debian.org">manziarly.debian.org</a>.</div><div>After Debian mirrors are updated, this
VM gets an SSH login,</div><div>which in turn triggers running Debiman via a command restriction:</div><div><div><br></div><div>manziarly% cat /etc/ssh/userkeys/manpages<br>from=&quot;<a href="http://syncproxy3.wna.debian.org">syncproxy3.wna.debian.org</

,…&quot;,restrict,command=&quot;/srv/<a href="http://manpages.debian.org/debiman/mirror-push.bash">manpages.debian.org/debiman/mirror-push.bash</a>&quot; …</div><div></div></div><div><br></div><div>All Debian-specific asse