[GNUnet-SVN] [gnunet] branch master updated: lint-man: Check for what I just completely fixed. Just in case.

[gnunet]

This is an automated email from the git hooks/post-receive script.

ng0 pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new c5f1ccc86 lint-man: Check for what I just completely fixed. Just in 
case.
c5f1ccc86 is described below

commit c5f1ccc86f1453440a92c0a67c47dace247d40f3
Author: ng0 <address@hidden>
AuthorDate: Sat Mar 9 10:19:16 2019 +0000

    lint-man: Check for what I just completely fixed. Just in case.
---
 contrib/scripts/lint-man.sh | 7 +++++++
 1 file changed, 7 insertions(+)

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"

-- 
To stop receiving notification emails like this one, please contact
address@hidden