summaryrefslogtreecommitdiffstats
path: root/gmdiff
diff options
context:
space:
mode:
authorIngo Schwarze <schwarze@openbsd.org>2015-04-05 09:30:24 +0000
committerIngo Schwarze <schwarze@openbsd.org>2015-04-05 09:30:24 +0000
commit22de92d482148bc13bae2597fc718ce50c54b419 (patch)
tree01cad8c63ffac9cea2682cc875a11c19e3466a81 /gmdiff
parent47db65ad999dc86c2eee8b1ea8c9066a5accae10 (diff)
downloadmandoc-22de92d482148bc13bae2597fc718ce50c54b419.tar.gz
allow using an alternate mandoc binary
Diffstat (limited to 'gmdiff')
-rw-r--r--gmdiff3
1 files changed, 2 insertions, 1 deletions
diff --git a/gmdiff b/gmdiff
index ae27726e..8d24fa76 100644
--- a/gmdiff
+++ b/gmdiff
@@ -40,7 +40,8 @@ while [ -n "$1" ]; do
shift
echo " ========== $file ========== "
tbl $file | $EQN | $ROFF -mandoc 2> /tmp/roff.err > /tmp/roff.out
- mandoc -Ios='OpenBSD ports' $MOPT $file 2> /tmp/mandoc.err > /tmp/mandoc.out
+ ${MANDOC:=mandoc} -Ios='OpenBSD ports' $MOPT $file \
+ 2> /tmp/mandoc.err > /tmp/mandoc.out
for i in roff mandoc; do
[[ -s /tmp/$i.err ]] && echo "$i errors:" && cat /tmp/$i.err
done