Simple check of man page syntax.

diff --git a/Makefile.am b/Makefile.am
index c5c24380b300759f1c6fa19348281459728e30d1..3b78c17539e7c3df4a8af6a2b481d352eb08d462 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -105,7 +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'
+       ! man --warnings ./*.1 2>&1 | grep ': warning'
 
 release:
        @if test -z "$(USER)" || test -z "$(KEYID)"; then \