diff Makefile.in @ 12:bcdc7deadc19 r19-15b7

Import from CVS: tag r19-15b7
author cvs
date Mon, 13 Aug 2007 08:48:16 +0200
parents 49a24b4fd526
children 441bb1e64a06
line wrap: on
line diff
--- a/Makefile.in	Mon Aug 13 08:47:56 2007 +0200
+++ b/Makefile.in	Mon Aug 13 08:48:16 2007 +0200
@@ -386,7 +386,7 @@
 	   for f in *.info* ; do \
 	     ${INSTALL_DATA} ${srcdir}/info/$$f ${infodir}/$$f ; \
 	     chmod 0644 ${infodir}/$$f; \
-	     gzip -9 ${infodir}/$$f; \
+	     gzip -f9 ${infodir}/$$f; \
 	   done); \
 	else true; fi
 	cd ${srcdir}/etc; for page in xemacs etags ctags gnuserv \