Add a maintainer script for linting man pages

diff --git a/maint/check-man-pages b/maint/check-man-pages
new file mode 100755 (executable)
index 0000000..5d1fde8
--- /dev/null
+++ b/maint/check-man-pages
@@ -0,0 +1,17 @@
+#!/bin/bash
+# Lint generated man pages
+set -e
+
+check ()
+{
+       echo ">>> Checking $1"
+       groff -mandoc -t -ww -b -z -K utf8 $1 || true
+       mandoc -T lint $1 |
+               grep -v "STYLE: input text line longer than" |
+               grep -v "STYLE: lower case character in document title:" ||
+               true
+}
+
+for man in *.[1-9] ; do
+       check $man
+done