diff Makefile.in @ 6:27bc7f280385 r19-15b4

Import from CVS: tag r19-15b4
author cvs
date Mon, 13 Aug 2007 08:47:15 +0200
parents 376386a54a3c
children 4b173ad71786
line wrap: on
line diff
--- a/Makefile.in	Mon Aug 13 08:46:57 2007 +0200
+++ b/Makefile.in	Mon Aug 13 08:47:15 2007 +0200
@@ -394,6 +394,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 \