blob: ed5ad7e827e3a5828b301e6fde0b88d85da084c9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
--- 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 ; \
|
