Mercurial > emacs
changeset 108974:f282583957c5
* Makefile.in (install-arch-indep): Delete any old info .gz files first.
| author | Glenn Morris <rgm@gnu.org> |
|---|---|
| date | Fri, 11 Jun 2010 20:35:55 -0700 |
| parents | 506ba691342f |
| children | c4552014bea2 |
| files | ChangeLog Makefile.in |
| diffstat | 2 files changed, 6 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/ChangeLog Fri Jun 11 23:26:13 2010 +0200 +++ b/ChangeLog Fri Jun 11 20:35:55 2010 -0700 @@ -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.
--- a/Makefile.in Fri Jun 11 23:26:13 2010 +0200 +++ b/Makefile.in Fri Jun 11 20:35:55 2010 -0700 @@ -583,6 +583,7 @@ ${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_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