diff options
| author | Glenn Morris <rgm@gnu.org> | 2010-06-09 22:34:38 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2010-06-09 22:34:38 -0700 |
| commit | d772827cafca73302741747867f1c9ce514fe509 (patch) | |
| tree | a18e24880f4b4720d63aad523865e0c27c4ffd4e /Makefile.in | |
| parent | 64c60c2fed2036f938aafcb57e0689745b723ae3 (diff) | |
| download | emacs-d772827cafca73302741747867f1c9ce514fe509.tar.gz | |
* Makefile.in (install-arch-indep): Gzip the info files too.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 965fdd9c562..d80bd1c1936 100644 --- a/Makefile.in +++ b/Makefile.in @@ -580,6 +580,8 @@ install-arch-indep: mkdir info install-etc for f in `ls $$elt $$elt-[1-9] $$elt-[1-9][0-9] 2>/dev/null`; do \ ${INSTALL_DATA} $$f $(DESTDIR)${infodir}/$$f; \ chmod a+r $(DESTDIR)${infodir}/$$f; \ + [ -n "${GZIP_PROG}" ] && \ + ${GZIP_PROG} -9n $(DESTDIR)${infodir}/$$f; \ done; \ done); \ else true; fi |