diff --git a/doc/Makefile.in b/doc/Makefile.in index bfcbdf1bc..f5a5623f6 100644 --- 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