diff Makefile.in @ 74:54cc21c15cbb r20-0b32

Import from CVS: tag r20-0b32
author cvs
date Mon, 13 Aug 2007 09:04:33 +0200
parents 131b0175ea99
children c0c698873ce1
line wrap: on
line diff
--- a/Makefile.in	Mon Aug 13 09:03:47 2007 +0200
+++ b/Makefile.in	Mon Aug 13 09:04:33 2007 +0200
@@ -401,6 +401,7 @@
                     vm* w3* xemacs* ; do \
 	     ${INSTALL_DATA} ${srcdir}/info/$$f ${infodir}/$$f ; \
 	     chmod 0644 ${infodir}/$$f; \
+	     gzip -9 ${infodir}/$$f; \
 	   done); \
 	else true; fi
 	cd ${srcdir}/etc; for page in xemacs etags ctags gnuserv \