diff Makefile.in @ 78:c7528f8e288d r20-0b34

Import from CVS: tag r20-0b34
author cvs
date Mon, 13 Aug 2007 09:05:42 +0200
parents c0c698873ce1
children 1ce6082ce73f
line wrap: on
line diff
--- a/Makefile.in	Mon Aug 13 09:05:11 2007 +0200
+++ b/Makefile.in	Mon Aug 13 09:05:42 2007 +0200
@@ -393,10 +393,10 @@
 	   if [ ! -f ${infodir}/dir ] && [ -f dir ]; then \
 	     ${INSTALL_DATA} ${srcdir}/info/dir ${infodir}/dir ; \
 	   fi ; \
-	   for f in *.info ; do \
+	   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 \