--- Makefile.comm.orig	Tue Jun 27 20:08:27 1995
+++ Makefile.comm	Tue Mar 26 22:05:36 1996
@@ -137,44 +137,47 @@
 	for p in $$pages; do \
 	 prog=`basename $$p .n`; \
 	 target=$(man1dir)/$(NAMEPREFIX)$$prog.$(man1ext); \
-	 rm -f $$target; \
+	 rm -f $$target.gz; \
 	 echo $(INSTALL_DATA) $$p $$target; \
 	 $(INSTALL_DATA) $$p $$target; \
+	 gzip -9n $$target ; \
 	done
 	-test -d $(man5dir) || mkdir $(man5dir)
 	@-pages="$(MAN5)"; \
 	for p in $$pages; do \
 	 target=$(man5dir)/`basename $$p .n`.$(man5ext); \
-	 rm -f $$target; \
+	 rm -f $$target.gz; \
 	 echo $(INSTALL_DATA) $$p $$target; \
 	 $(INSTALL_DATA) $$p $$target; \
+	 gzip -9n $$target ; \
 	done
 	-test -d $(man7dir) || mkdir $(man7dir)
 	@-pages="$(MAN7)"; \
 	for p in $$pages; do \
 	 target=$(man7dir)/`basename $$p .n`.$(man7ext); \
-	 rm -f $$target; \
+	 rm -f $$target.gz; \
 	 echo $(INSTALL_DATA) $$p $$target; \
 	 $(INSTALL_DATA) $$p $$target; \
+	 gzip -9n $$target ; \
 	done
 
 .PHONY: uninstall_man
 uninstall_man:
 	@-pages="$(MAN1)"; \
 	for p in $$pages; do \
-	 target=$(man1dir)/$(NAMEPREFIX)`basename $$p .n`.$(man1ext); \
+	 target=$(man1dir)/$(NAMEPREFIX)`basename $$p .n`.$(man1ext).gz; \
 	 echo rm -f $$target; \
 	 rm -f $$target; \
 	done
 	@-pages="$(MAN5)"; \
 	for p in $$pages; do \
-	 target=$(man5dir)/`basename $$p .n`.$(man5ext); \
+	 target=$(man5dir)/`basename $$p .n`.$(man5ext).gz; \
 	 echo rm -f $$target; \
 	 rm -f $$target; \
 	done
 	@-pages="$(MAN7)"; \
 	for p in $$pages; do \
-	 target=$(man7dir)/`basename $$p .n`.$(man7ext); \
+	 target=$(man7dir)/`basename $$p .n`.$(man7ext).gz; \
 	 echo rm -f $$target; \
 	 rm -f $$target; \
 	done
