1 files changed, 11 insertions, 0 deletions
diff --git a/aux-gnurl/man_lint.sh b/aux-gnurl/man_lint.sh
new file mode 100755
index 000000000..7adf1501e
--- /dev/null
+++ b/aux-gnurl/man_lint.sh
@@ -0,0 +1,11 @@
+#!/bin/sh
+# spit out ONLY error messages using groff.
+for f in `find 'docs/' -name \*\.[1-9]`;
+do
+    LC_ALL=en_US.UTF-8 \
+    MANROFFSEQ='' \
+    MANWIDTH=80 \
+    groff -m mandoc -b -z -w w $f;
+done
+# spit out ONLY error messages with mandoc:
+mandoc -T lint `find 'docs/' -name \*\.[1-9]`