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 /doc | |
parent | 02683c333104d6f79a98f0c55636edc178eba704 (diff) | |
download | patches-68abb9b04c0b0a22ea28d7fd89f07ecd10d2aa69.tar patches-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 'doc')
0 files changed, 0 insertions, 0 deletions