diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2013-09-27 08:41:19 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2013-09-27 08:41:19 +0200 |
| commit | 5c413a9cbc89c200d4450fc8ff21507e6659fdd5 (patch) | |
| tree | adbce42e02a0b991429b5532e77e41890602837f /.dir-locals.el | |
| parent | 6bf3e5f72d2fdaaa092a03d78e44c46e41b60241 (diff) | |
| download | guix-5c413a9cbc89c200d4450fc8ff21507e6659fdd5.tar guix-5c413a9cbc89c200d4450fc8ff21507e6659fdd5.tar.gz | |
gnu: module-init-tools: Remove reference to unavailable man page tarball.
Fixes <http://bugs.gnu.org/15187>.
Reported by Mark H. Weaver <mhw@netris.org>.
* gnu/packages/linux.scm (module-init-tools): Remove reference to
Gentoo's pre-built man pages and 'unpack-man-pages' phase. Add
'fake-docbook' phases.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions