Commit d772827c authored by Glenn Morris's avatar Glenn Morris

* Makefile.in (install-arch-indep): Gzip the info files too.

parent 64c60c2f
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>
......
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment