Have regress.sh bail out if $MANDOC isn't found.

diff --git a/regress/regress.sh b/regress/regress.sh
index 24048b34f7135e25fbff28a2560b31ed92077592..1e17f3a83f9c80322338bf2125ddcec34b920550 100755 (executable)
--- a/regress/regress.sh
+++ b/regress/regress.sh
@@ -4,6 +4,12 @@ MANDOC=${MANDOC:-../mandoc}
 NROFF=${NROFF:-nroff}
 OUTPUT=${NROFF_OUTPUT:--Tascii}
 
+if [ ! -x $MANDOC ]
+then
+       echo "regress.sh: command not found: $MANDOC" 1>&2
+       return 0
+fi
+
 check_skip_list() {
        [ -f skip_list ] || return 1
        while read file; do