projects
/
oweals
/
gnunet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
42a91b8
)
lint-man: Check for what I just completely fixed. Just in case.
author
ng0
<ng0@n0.is>
Sat, 9 Mar 2019 10:19:16 +0000
(10:19 +0000)
committer
ng0
<ng0@n0.is>
Sat, 9 Mar 2019 10:19:16 +0000
(10:19 +0000)
contrib/scripts/lint-man.sh
patch
|
blob
|
history
diff --git
a/contrib/scripts/lint-man.sh
b/contrib/scripts/lint-man.sh
index 1a3f1514a93aed062ea2c4860bd1196bdde93910..8915e9ece2855eccbf7a8151fe897fccaba618ff 100755
(executable)
--- 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"