diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-03-24 22:35:34 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-03-24 22:47:15 +0100 |
| commit | 68abb9b04c0b0a22ea28d7fd89f07ecd10d2aa69 (patch) | |
| tree | 49ce36d103ada55aafa344097ed961772ef75744 /.gitignore | |
| parent | 02683c333104d6f79a98f0c55636edc178eba704 (diff) | |
| download | gnu-guix-68abb9b04c0b0a22ea28d7fd89f07ecd10d2aa69.tar gnu-guix-68abb9b04c0b0a22ea28d7fd89f07ecd10d2aa69.tar.gz | |
install: Use 'info-reader' instead of Texinfo 4.
* gnu/system/install.scm (installation-os)[packages]: Remove TEXINFO-4
since %BASE-PACKAGES already provides the Info reader.
(log-to-info): Use INFO-READER instead of TEXINFO-4.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions