From: Simon Josefsson <simon@josefsson.org>
Date: Mon, 8 Apr 2013 11:15:15 +0000 (+0200)
Subject: Check man page for warnings.
X-Git-Tag: v1.13.0~68
X-Git-Url: https://err.no/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9702206bcfd014487a3be6dec05a6538574b508f;p=yubikey-personalization

Check man page for warnings.
---

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