--- Makefile.in-orig Mon Mar 6 21:42:56 1995 +++ Makefile.in Tue Mar 7 13:52:56 1995 @@ -78,6 +78,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}