diff options
| author | Glenn Morris | 2010-06-10 20:35:40 -0700 |
|---|---|---|
| committer | Glenn Morris | 2010-06-10 20:35:40 -0700 |
| commit | 338648ad799881124b517183ebbe0984b0656d92 (patch) | |
| tree | 6c5c523795212f79949e6058b6ad2cdc76767407 /ChangeLog | |
| parent | 3ef0a6a5fef081f5ea7e43cce7a1fc6bbcfbc012 (diff) | |
| download | emacs-338648ad799881124b517183ebbe0984b0656d92.tar.gz emacs-338648ad799881124b517183ebbe0984b0656d92.zip | |
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.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 9 |
1 files changed, 9 insertions, 0 deletions
| @@ -1,3 +1,12 @@ | |||
| 1 | 2010-06-11 Glenn Morris <rgm@gnu.org> | ||
| 2 | |||
| 3 | * configure.in (--without-compress-info): New option. | ||
| 4 | (GZIP_INFO): New output variable. | ||
| 5 | |||
| 6 | * Makefile.in (GZIP_INFO): New, set by configure. | ||
| 7 | (install-arch-indep): Don't gzip info pages if GZIP_INFO is nil. | ||
| 8 | Handle man pages in the same way. | ||
| 9 | |||
| 1 | 2010-06-10 Glenn Morris <rgm@gnu.org> | 10 | 2010-06-10 Glenn Morris <rgm@gnu.org> |
| 2 | 11 | ||
| 3 | * Makefile.in (install-arch-indep): Gzip the info files too. | 12 | * Makefile.in (install-arch-indep): Gzip the info files too. |