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

2018-08-15 10:02:40 -06:00
parent 7a929ce135
commit 18ddabfebf
1 changed files with 3 additions and 1 deletions
--- 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