Your message dated Sun, 20 Jul 2014 17:13:33 +0200 with message-id <20140720151333.GB32601@nu.ryanak.ca> and subject line Re: Bug#690328: All links in documentation's index.html are broken has caused the Debian Bug report #690328, regarding All links in documentation's index.html are broken to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact owner@bugs.debian.org immediately.) -- 690328: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=690328 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: All links in documentation's index.html are broken
- From: Ryan Kavanagh <rak@debian.org>
- Date: Fri, 12 Oct 2012 18:44:45 +0100
- Message-id: <20121012174445.GA5412@nu.ryanak.ca>
Package: libssreflect-coq Version: 1.4-1 Severity: normal All of the links (well, the dozen or so I've tried to follow, excluding the alphabetical ones at the very top) in /usr/share/doc/libssreflect-coq/html/index.html are broken. -- System Information: Debian Release: wheezy/sid APT prefers unstable APT policy: (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 3.2.0-4-amd64 (SMP w/4 CPU cores) Locale: LANG=en_CA.UTF-8, LC_CTYPE=en_CA.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to en_CA.UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages libssreflect-coq depends on: ii coq [coq-8.4+3.12.1] 8.4dfsg-2 ii libssreflect-ocaml 1.4-1 libssreflect-coq recommends no packages. libssreflect-coq suggests no packages. -- no debconf informationAttachment: signature.asc
Description: Digital signature
--- End Message ---
--- Begin Message ---
- To: Stéphane Glondu <glondu@debian.org>
- Cc: control@bugs.debian.org, 690328-done@bugs.debian.org
- Subject: Re: Bug#690328: All links in documentation's index.html are broken
- From: Ryan Kavanagh <rak@debian.org>
- Date: Sun, 20 Jul 2014 17:13:33 +0200
- Message-id: <20140720151333.GB32601@nu.ryanak.ca>
- In-reply-to: <52DCD5AA.2090201@debian.org>
- References: <20121012174445.GA5412@nu.ryanak.ca> <52DCD5AA.2090201@debian.org>
fixed 690328 1.5-1 thanks On Mon, Jan 20, 2014 at 08:52:10AM +0100, Stéphane Glondu wrote: > Is that still true? I just tried with 1.5~rc1-2 and I couldn't find > broken links. Maybe it was just fixed meanwhile... Everything seems to be fixed, thanks! Best wishes, RyanAttachment: signature.asc
Description: Digital signature
--- End Message ---