aboutsummaryrefslogtreecommitdiff
path: root/contrib/scripts/lint-man.sh
diff options
context:
space:
mode:
Diffstat (limited to 'contrib/scripts/lint-man.sh')
-rwxr-xr-xcontrib/scripts/lint-man.sh7
1 files changed, 7 insertions, 0 deletions
diff --git a/contrib/scripts/lint-man.sh b/contrib/scripts/lint-man.sh
index 1a3f1514a..8915e9ece 100755
--- a/contrib/scripts/lint-man.sh
+++ b/contrib/scripts/lint-man.sh
@@ -18,6 +18,13 @@ then
18 MANWIDTH=80 \ 18 MANWIDTH=80 \
19 groff -m mandoc -b -z -w w $f; 19 groff -m mandoc -b -z -w w $f;
20 done 20 done
21 # FIXME below, grande stupidity.
22 rm groff_lint.log
23 echo "Wrong use of B"
24 for f in `find . -name \*\.[1-9]`;
25 do
26 awk '/^\.B$/ {print FILENAME":"NR":"$0}' $f >> groff_lint.log || true
27 done
21fi 28fi
22 29
23echo "mandoc check" 30echo "mandoc check"