diff options
| author | Glenn Morris <rgm@gnu.org> | 2013-03-04 19:59:35 -0800 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2013-03-04 19:59:35 -0800 |
| commit | 28b6b84d4e91cf39c85f194c29b8e044ae6bac87 (patch) | |
| tree | c66b211afe8fbeda52c5cfe68bacf1bbb3d6243e /Makefile.in | |
| parent | 3bfc46eb53ed50ec32711b5595cffc5b7b543249 (diff) | |
| parent | 408ffa0fef7a4e9a91a2b864700d5ced8783dd59 (diff) | |
| download | emacs-28b6b84d4e91cf39c85f194c29b8e044ae6bac87.tar.gz | |
Merge from emacs-24; up to 2012-12-24T15:56:17Z!eliz@gnu.org
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 42b900401f7..b112c6abf11 100644 --- a/Makefile.in +++ b/Makefile.in @@ -624,6 +624,12 @@ install-info: info ${INSTALL_INFO} --info-dir=$(DESTDIR)${infodir} $(DESTDIR)${infodir}/$$elt); \ done) +## "gzip || true" is because some gzips exit with non-zero status +## if compression would not reduce the file size. Eg, the gzip in +## OpenBSD 4.9 seems to do this (2013/03). In Emacs, this can +## only happen with the tiny ctags.1 manpage. We don't really care if +## ctags.1 is compressed or not. "gzip -f" is another option here, +## but not sure if portable. install-man: umask 022; ${MKDIR_P} $(DESTDIR)${man1dir} thisdir=`/bin/pwd`; \ @@ -634,7 +640,7 @@ install-man: ${INSTALL_DATA} ${mansrcdir}/$${page} $(DESTDIR)${man1dir}/$${dest}); \ ( [ -n "${GZIP_INFO}" ] && [ -n "${GZIP_PROG}" ] ) || continue ; \ rm -f $(DESTDIR)${man1dir}/$${dest}.gz; \ - ${GZIP_PROG} -9n $(DESTDIR)${man1dir}/$${dest}; \ + ${GZIP_PROG} -9n $(DESTDIR)${man1dir}/$${dest} || true; \ done ## Install those items from etc/ that need to end up elsewhere. |