Make compressing the info files optional.
authorGlenn Morris <rgm@gnu.org>
Fri, 11 Jun 2010 03:35:40 +0000 (20:35 -0700)
committerGlenn Morris <rgm@gnu.org>
Fri, 11 Jun 2010 03:35:40 +0000 (20:35 -0700)
commit338648ad799881124b517183ebbe0984b0656d92
tree6c5c523795212f79949e6058b6ad2cdc76767407
parent3ef0a6a5fef081f5ea7e43cce7a1fc6bbcfbc012
Make compressing the info files optional.

* configure.in (--without-compress-info): New option.
(GZIP_INFO): New output variable.

* Makefile.in (GZIP_INFO): New, set by configure.
(install-arch-indep): Don't gzip info pages if GZIP_INFO is nil.
Handle man pages in the same way.

* etc/NEWS: Re-order installation section, and add new item.
ChangeLog
INSTALL
Makefile.in
configure.in
etc/NEWS