From 338648ad799881124b517183ebbe0984b0656d92 Mon Sep 17 00:00:00 2001
From: Glenn Morris <rgm@gnu.org>
Date: Thu, 10 Jun 2010 20:35:40 -0700
Subject: 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.
---
Makefile.in | 10 ++++++++--
1 file changed, 8 insertions(+), 2 deletions(-)
(limited to 'Makefile.in')
diff --git a/Makefile.in b/Makefile.in
index d80bd1c1936..abb8d9d5005 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -243,6 +243,8 @@ INSTALL_STRIP =
# We use gzip to compress installed .el files.
GZIP_PROG = @GZIP_PROG@
+# If non-nil, gzip the installed Info and man pages.
+GZIP_INFO = @GZIP_INFO@
# ============================= Targets ==============================
@@ -580,8 +582,9 @@ 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}" ] && \
+ if [ -n "${GZIP_INFO}" ] && [ -n "${GZIP_PROG}" ]; then \
${GZIP_PROG} -9n $(DESTDIR)${infodir}/$$f; \
+ else true; fi; \
done; \
done); \
else true; fi
@@ -601,7 +604,10 @@ install-arch-indep: mkdir info install-etc
for page in ${MAN_PAGES}; do \
(cd $${thisdir}; \
${INSTALL_DATA} ${mansrcdir}/$${page} $(DESTDIR)${man1dir}/$${page}; \
- chmod a+r $(DESTDIR)${man1dir}/$${page}); \
+ chmod a+r $(DESTDIR)${man1dir}/$${page}; \
+ if [ -n "${GZIP_INFO}" ] && [ -n "${GZIP_PROG}" ]; then \
+ ${GZIP_PROG} -9n $(DESTDIR)${man1dir}/$${page}; \
+ else true; fi ); \
done
## Install those items from etc/ that need to end up elsewhere.
--
cgit v1.2.1