diff options
-rwxr-xr-x | contrib/scripts/lint-man.sh | 7 |
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 | ||
21 | fi | 28 | fi |
22 | 29 | ||
23 | echo "mandoc check" | 30 | echo "mandoc check" |