summaryrefslogtreecommitdiff
path: root/share
diff options
context:
space:
mode:
authorIngo Schwarze <schwarze@cvs.openbsd.org>2011-07-05 04:49:36 +0000
committerIngo Schwarze <schwarze@cvs.openbsd.org>2011-07-05 04:49:36 +0000
commit7036472f0894777ff8ba2f25476c11dad700f5ca (patch)
tree071fd1f255bd8c20a859ce93b4bcf746428bf457 /share
parent0e36778a06f5746ef60cadc41c445d6f5b6cc647 (diff)
Allow parallel linting of manuals,
by using one mandoc process and one timestamp file per man page. This might be slightly slower on single-processor machines, but it's considerably faster with make -j. "I think so" deraadt@
Diffstat (limited to 'share')
-rw-r--r--share/mk/bsd.man.mk12
1 files changed, 5 insertions, 7 deletions
diff --git a/share/mk/bsd.man.mk b/share/mk/bsd.man.mk
index 0f5cecf62e3..00256b1194a 100644
--- a/share/mk/bsd.man.mk
+++ b/share/mk/bsd.man.mk
@@ -1,4 +1,4 @@
-# $OpenBSD: bsd.man.mk,v 1.35 2011/06/28 23:50:46 schwarze Exp $
+# $OpenBSD: bsd.man.mk,v 1.36 2011/07/05 04:49:35 schwarze Exp $
# $NetBSD: bsd.man.mk,v 1.23 1996/02/10 07:49:33 jtc Exp $
# @(#)bsd.man.mk 5.2 (Berkeley) 5/11/90
@@ -17,17 +17,15 @@ MANSUBDIR:=${MANSUBDIR:S,^,/,:S,$,/,}
MANSUBDIR=/
.endif
-CLEANFILES+= .man-linted
+CLEANFILES+=.man-linted *.manlint
-.if defined(MAN) && !empty(MAN)
-.man-linted: ${MAN}
+.for page in ${MAN}
+${page}.manlint: ${page}
mandoc -Tlint -Wfatal ${.ALLSRC}
@touch ${.TARGET}
-all: .man-linted
-.endif
+all: ${page}.manlint
-.for page in ${MAN}
. for sub in ${MANSUBDIR}
_MAN_INST=${DESTDIR}${MANDIR}${page:E}${sub}${page:T}
${_MAN_INST}: ${page}