GNU bug report logs - #15187
module-init-tools-3.16-man no longer available from distfiles.gentoo.org

Previous Next

Package: guix;

Reported by: Mark H Weaver <mhw <at> netris.org>

Date: Sun, 25 Aug 2013 19:17:02 UTC

Severity: normal

Done: ludo <at> gnu.org (Ludovic Courtès)

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: ludo <at> gnu.org (Ludovic Courtès)
Cc: tracker <at> debbugs.gnu.org
Subject: bug#15187: closed (module-init-tools-3.16-man no longer available
 from distfiles.gentoo.org)
Date: Fri, 27 Sep 2013 06:44:01 +0000

[Message part 1 (text/plain, inline)]
Your message dated Fri, 27 Sep 2013 08:43:20 +0200
with message-id <87had6u5mf.fsf <at> gnu.org>
and subject line Re: bug#15187: module-init-tools-3.16-man no longer available from distfiles.gentoo.org
has caused the debbugs.gnu.org bug report #15187,
regarding module-init-tools-3.16-man no longer available from distfiles.gentoo.org
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
15187: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=15187
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]
From: Mark H Weaver <mhw <at> netris.org>
To: bug-guix <at> gnu.org
Subject: module-init-tools-3.16-man no longer available from
 distfiles.gentoo.org
Date: Sun, 25 Aug 2013 15:15:45 -0400

The 'module-init-tools' recipe tries to download
module-init-tools-3.16-man.tar.bz2 from distfiles.gentoo.org, but it's
no longer there.

      Mark



[Message part 3 (message/rfc822, inline)]
From: ludo <at> gnu.org (Ludovic Courtès)
To: Mark H Weaver <mhw <at> netris.org>
Cc: 15187-done <at> debbugs.gnu.org
Subject: Re: bug#15187: module-init-tools-3.16-man no longer available from
 distfiles.gentoo.org
Date: Fri, 27 Sep 2013 08:43:20 +0200

Mark H Weaver <mhw <at> netris.org> skribis:

> The 'module-init-tools' recipe tries to download
> module-init-tools-3.16-man.tar.bz2 from distfiles.gentoo.org, but it's
> no longer there.

I just “fixed” it by removing the reference to the man page tarball, and
disabling man page generation (which would require docbook2man).

Thanks,
Ludo’.
This bug report was last modified 11 years and 299 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.