Rename configure's --without-compress-info to --without-compress-install
authorGlenn Morris <rgm@gnu.org>
Sun, 8 Sep 2013 23:50:23 +0000 (16:50 -0700)
committerGlenn Morris <rgm@gnu.org>
Sun, 8 Sep 2013 23:50:23 +0000 (16:50 -0700)
commit335142f9f36cc8e15e5770d2ac5373159046a53d
treeae66d1fb4a8eecceaa5a61faa87906f9f416fa47
parent7dc61a66e79e4d6102e2574e99eb704184e802b7
Rename configure's --without-compress-info to --without-compress-install

* configure.ac (--without-compress-install):
Rename from --without-compress-info.

(GZIP_INFO): Remove.
(GZIP_PROG): Allow --without-compress-install to disable it.
* Makefile.in (GZIP_INFO): Remove all references.

* etc/NEWS: Mention this.

Fixes: debbugs:9789
ChangeLog
Makefile.in
configure.ac
etc/NEWS