Subject: bug#15187: closed (Re: bug#15187: module-init-tools-3.16-man no longer available from distfiles.gentoo.org)

From: [email-masked] (GNU bug Tracking System)
Date: Fri, 27 Sep 2013 06:44:03 +0000

Your bug report

#15187: module-init-tools-3.16-man no longer available from distfiles.gentoo.org

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
15187: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=15187
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#15187: module-init-tools-3.16-man no longer available from distfiles.gentoo.org
From: [email-masked] (Ludovic Courtès)
To: Mark H Weaver <[email-masked]>
Cc: [email-masked]
Date: Fri, 27 Sep 2013 08:43:20 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Mark H Weaver <[email-masked]> 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’.

Subject: module-init-tools-3.16-man no longer available from distfiles.gentoo.org
From: Mark H Weaver <[email-masked]>
To: [email-masked]
Date: Sun, 25 Aug 2013 15:15:45 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

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