For the lint target, don't stop after the first manual that fails lint.

diff --git a/doc/Makefile.in b/doc/Makefile.in
index bfcbdf1bc9839d3b2cb86b09e1f129b32ad66f4c..f5a5623f61080f5c71802bbc040bc9420d68e3f7 100644 (file)
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -102,10 +102,12 @@ lint: all
            echo "make lint only supported for mdoc manuals" 1>&2; \
            exit 1; \
        else \
+           rval=0; \
            for m in $(DOCS); do \
                echo $(MANDOC) -Tlint $$m; \
-               $(MANDOC) -Tlint $$m; \
+               $(MANDOC) -Tlint $$m || rval=`expr $$rval + $$?`; \
            done; \
+           exit $$rval; \
        fi
 
 Makefile: $(srcdir)/Makefile.in