* Makefile.in (install-arch-indep): Delete any old info .gz files first.

This commit is contained in:
Glenn Morris 2010-06-11 20:35:55 -07:00
parent 5fee75d49a
commit 5877cf4854
2 changed files with 6 additions and 0 deletions

View file

@ -1,3 +1,7 @@
2010-06-12 Glenn Morris <rgm@gnu.org>
* Makefile.in (install-arch-indep): Delete any old info .gz files first.
2010-06-11 Glenn Morris <rgm@gnu.org>
* configure.in (--without-compress-info): New option.

View file

@ -583,6 +583,7 @@ install-arch-indep: mkdir info install-etc
${INSTALL_DATA} $$f $(DESTDIR)${infodir}/$$f; \
chmod a+r $(DESTDIR)${infodir}/$$f; \
if [ -n "${GZIP_INFO}" ] && [ -n "${GZIP_PROG}" ]; then \
rm -f $(DESTDIR)${infodir}/$$f.gz; \
${GZIP_PROG} -9n $(DESTDIR)${infodir}/$$f; \
else true; fi; \
done; \
@ -606,6 +607,7 @@ install-arch-indep: mkdir info install-etc
${INSTALL_DATA} ${mansrcdir}/$${page} $(DESTDIR)${man1dir}/$${page}; \
chmod a+r $(DESTDIR)${man1dir}/$${page}; \
if [ -n "${GZIP_INFO}" ] && [ -n "${GZIP_PROG}" ]; then \
rm -f $(DESTDIR)${man1dir}/$${page}.gz; \
${GZIP_PROG} -9n $(DESTDIR)${man1dir}/$${page}; \
else true; fi ); \
done