Check man page for warnings.

diff --git a/Makefile.am b/Makefile.am
index d161c3b146f9e0666f38945e95ecdf7becce10d7..c5c24380b300759f1c6fa19348281459728e30d1 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -105,6 +105,7 @@ check-doc-dist:
        diff -ur $(srcdir)/Makefile.am check-doc-dist.tmp || \
                (rm -f check-doc-dist.tmp; echo 'error: please update $(srcdir)/Makefile.am to include all docs'; exit 1)
        rm -f check-doc-dist.tmp
+       man --warnings ./*.1 2>&1|grep ': warning'
 
 release:
        @if test -z "$(USER)" || test -z "$(KEYID)"; then \