install: Make sure 'info' can decompress the Info files.
authorLudovic Courtès <ludo@gnu.org>
Fri, 23 Jan 2015 09:37:01 +0000 (10:37 +0100)
committerLudovic Courtès <ludo@gnu.org>
Fri, 23 Jan 2015 09:37:01 +0000 (10:37 +0100)
commitdd6b28d18b089235f6a29fc5435d1815cea76309
tree00b58e11a3135d01df5b4f8f73dad1415a559e7d
parentde71cc4f83977000addf7cacf47bcc26f16725c6
install: Make sure 'info' can decompress the Info files.

* gnu/system/install.scm (log-to-info): Add GZIP to $PATH.
gnu/system/install.scm