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

[Mark H Weaver]

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