[debbugs-tracker] bug#15187: closed (module-init-tools-3.16-man no longer available from distfiles.gentoo.org)

[GNU bug Tracking System]

Your message dated Fri, 27 Sep 2013 08:43:20 +0200
with message-id <address@hidden>
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
address@hidden)


-- 
15187: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=15187
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> 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
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> 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
>
>
>
>
> User-agent: 
>
> Gnus/5.130007 (Ma Gnus v0.7) Emacs/24.3 (gnu/linux)
>
>
>
>
> Mark H Weaver <address@hidden> 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’.
>
>
> --- End Message ---