Subject: Re: bug#58415: [web site] Broken link to debbugs user guide in Bug tracking section

From: zimoun <[email-masked]>
Date: Tue, 11 Oct 2022 10:35:40 +0200

Hi,

Thank you for your report.

On Mon, 10 Oct 2022 at 15:59, Jonas Freimuth <[email-masked]> wrote:

> during my research of how to submit my previous bug report, I noticed 
> the link to the `debbugs` user guide, last sentence in section "22.7.2 
> Debbugs User Interfaces" is broken. The reason for it seems to be 
> located on line 1526 of `doc/contributing.texi`.

Indeed, the link is fine for the Info manual but the link points to

    https://guix.gnu.org/manual/devel/en/debbugs-ug.html#Top

in the HTML manual.  Well, it is another item to the list reported by
bug#29593 [1]. :-)

1: <http://issues.guix.gnu.org/issue/29593>

Cheers,
simon