From 5877cf48548c283d33af3a82d8b160c45a321c81 Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Fri, 11 Jun 2010 20:35:55 -0700 Subject: [PATCH] * Makefile.in (install-arch-indep): Delete any old info .gz files first. --- ChangeLog | 4 ++++ Makefile.in | 2 ++ 2 files changed, 6 insertions(+) diff --git a/ChangeLog b/ChangeLog index 4ffe8ace61f..1db46b732f3 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2010-06-12 Glenn Morris + + * Makefile.in (install-arch-indep): Delete any old info .gz files first. + 2010-06-11 Glenn Morris * configure.in (--without-compress-info): New option. diff --git a/Makefile.in b/Makefile.in index abb8d9d5005..d7e08a2328f 100644 --- a/Makefile.in +++ b/Makefile.in @@ -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 -- 2.39.2