From: Simon Josefsson <simon@josefsson.org>
Date: Mon, 8 Apr 2013 11:17:21 +0000 (+0200)
Subject: Simple check of man page syntax.
X-Git-Tag: v1.13.0~67
X-Git-Url: https://err.no/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5016c3c9b3731a0eb03478794863e53015922c26;p=yubikey-personalization

Simple check of man page syntax.
---

diff --git a/Makefile.am b/Makefile.am
index c5c2438..3b78c17 100644
--- 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 \