Subject: bug#75625: link in manual to Debbugs User Guide does not work

From: "Dr. Arne Babenhauserheide" <[email-masked]>
Date: Fri, 17 Jan 2025 08:41:42 +0100

Dear Guix hackers,

the link in the Guix manual to the Debbugs User Guide does not work in
the web:

https://guix.gnu.org/manual/en/html_node/Debbugs-User-Interfaces.html

It’s defined in
./doc/contributing.texi:2537:@xref{Top,,, debbugs-ug, Debbugs User Guide}, for more information on

but I do not know how to fix it.

Best wishes,
Arne
-- 
Unpolitisch sein
heißt politisch sein,
ohne es zu merken.
draketo.de