41 lines
1.4 KiB
Text
41 lines
1.4 KiB
Text
--- 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 ; \
|