diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2013-08-21 00:38:11 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2013-08-21 02:19:36 +0200 |
| commit | bbc08c7940a364fb1084defbb8f6f4d51673fb40 (patch) | |
| tree | 9ca37b4e71a5d1681de8e99ac639b62a8d567d84 /gnu/packages/grub.scm | |
| parent | 86f1537d3f5a3336232af6e9406cf0b887271c72 (diff) | |
gnu: qemu: Install the Info manuals.
* gnu/packages/qemu.scm (qemu): Add `install-info' phase. Add Texinfo
as an input.
Diffstat (limited to 'gnu/packages/grub.scm')
0 files changed, 0 insertions, 0 deletions