diff options
author | Glenn Morris <[email protected]> | 2010-06-11 20:35:55 -0700 |
---|---|---|
committer | Glenn Morris <[email protected]> | 2010-06-11 20:35:55 -0700 |
commit | 5877cf48548c283d33af3a82d8b160c45a321c81 (patch) | |
tree | a8d4e4175188ab3267b29bb7ef862371eaa8beb4 /Makefile.in | |
parent | 5fee75d49abccded929b80793d6fce1810effe86 (diff) |
* Makefile.in (install-arch-indep): Delete any old info .gz files first.
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index abb8d9d500..d7e08a2328 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 |