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’.