--- Makefile.in.orig	Wed Apr 19 18:27:08 1995
+++ Makefile.in	Wed Apr 19 18:27:12 1995
@@ -80,6 +80,8 @@
 	${INSTALL_DATA} ${srcdir}/less.hlp ${datadir}/less.hlp
 	${INSTALL_DATA} ${srcdir}/less.nro ${mandir}/${manprefix}less.${manext}
 	${INSTALL_DATA} ${srcdir}/lesskey.nro ${mandir}/${manprefix}lesskey.${manext}
+	rm -f ${mandir}/${manprefix}less.${manext}.gz ${mandir}/${manprefix}lesskey.${manext}.gz
+	gzip ${mandir}/${manprefix}less.${manext} ${mandir}/${manprefix}lesskey.${manext}
 
 installdirs: mkinstalldirs
 	${srcdir}/mkinstalldirs ${bindir} ${datadir} ${mandir}