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) | |
| download | gnunet-c5f1ccc86f1453440a92c0a67c47dace247d40f3.tar.gz gnunet-c5f1ccc86f1453440a92c0a67c47dace247d40f3.zip | |
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 | |||
| 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" |