HCoop
/
bpt
/
emacs.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
64c60c2
)
* Makefile.in (install-arch-indep): Gzip the info files too.
author
Glenn Morris
<rgm@gnu.org>
Thu, 10 Jun 2010 05:34:38 +0000
(22:34 -0700)
committer
Glenn Morris
<rgm@gnu.org>
Thu, 10 Jun 2010 05:34:38 +0000
(22:34 -0700)
ChangeLog
patch
|
blob
|
blame
|
history
Makefile.in
patch
|
blob
|
blame
|
history
diff --git
a/ChangeLog
b/ChangeLog
index
1b73384
..
57d3f3f
100644
(file)
--- a/
ChangeLog
+++ b/
ChangeLog
@@
-1,5
+1,7
@@
2010-06-10 Glenn Morris <rgm@gnu.org>
+ * Makefile.in (install-arch-indep): Gzip the info files too.
+
* make-dist: Remove references to non-existent directories and files.
2010-06-08 Dan Nicolaescu <dann@ics.uci.edu>
diff --git
a/Makefile.in
b/Makefile.in
index
965fdd9
..
d80bd1c
100644
(file)
--- 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