--- doc/Makefile.orig	Tue Jan 18 16:01:19 2000
+++ doc/Makefile	Tue Jan 18 16:03:03 2000
@@ -28,22 +28,22 @@
 # Alas, man pages which originate in the doc directory need special handling,
 # lest "formatman" overwrite them.
 ourmans:
-	@mans="${OURMANS}"; mandir=${MANDIR}; \
-	if nroff </dev/null >/dev/null 2>&1; then \
-	    for f in $$mans ; do \
-		page=`expr "$$f" : "\(.*\).man"` ; \
-		dirno=`expr "$$f" : ".*\([0-9]\)"` ; \
-		cdir=$$mandir/cat$$dirno; \
-		mdir=$$mandir/man$$dirno; \
-		test -d $$mdir || ${GEOM}/tools/insuredir $$mdir; \
-		rm -f $$cdir/$$page $$mdir/$$page ; \
-		echo "cp $$f $$mdir/$$page"; \
-		cp $$f $$mdir/$$page; \
-		echo "nroff -man $$f | col -b > $$page" ; \
-		nroff -man $$f | col -b > $$page; \
-		${INSTALL} -O -v -m 644 -F $$cdir $$page; \
-	    done; \
-	fi
+#	@mans="${OURMANS}"; mandir=${MANDIR}; \
+#	if nroff </dev/null >/dev/null 2>&1; then \
+#	    for f in $$mans ; do \
+#		page=`expr "$$f" : "\(.*\).man"` ; \
+#		dirno=`expr "$$f" : ".*\([0-9]\)"` ; \
+#		cdir=$$mandir/cat$$dirno; \
+#		mdir=$$mandir/man$$dirno; \
+#		test -d $$mdir || ${GEOM}/tools/insuredir $$mdir; \
+#		rm -f $$cdir/$$page $$mdir/$$page ; \
+#		echo "cp $$f $$mdir/$$page"; \
+#		cp $$f $$mdir/$$page; \
+#		echo "nroff -man $$f | col -b > $$page" ; \
+#		nroff -man $$f | col -b > $$page; \
+#		${INSTALL} -O -v -m 644 -F $$cdir $$page; \
+#	    done; \
+#	fi
 
 OOGL.m.doc:	_always
 	( ${MAKE} header_message ; \
