diff options
| author | ng0 <ng0@n0.is> | 2019-03-09 10:19:16 +0000 |
|---|---|---|
| committer | ng0 <ng0@n0.is> | 2019-03-09 10:19:16 +0000 |
| commit | c5f1ccc86f1453440a92c0a67c47dace247d40f3 (patch) | |
| tree | 69ec81b83044570939e578b580992fd996a54a4a | |
| parent | 42a91b868ea11a71c725c8d64c7368a3651d598b (diff) | |
lint-man: Check for what I just completely fixed. Just in case.
| -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 MANWIDTH=80 \ groff -m mandoc -b -z -w w $f; done + # FIXME below, grande stupidity. + rm groff_lint.log + echo "Wrong use of B" + for f in `find . -name \*\.[1-9]`; + do + awk '/^\.B$/ {print FILENAME":"NR":"$0}' $f >> groff_lint.log || true + done fi echo "mandoc check" |