From 4be249028c943e5500f04516724d231fbc3876df Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mikegerwitz@gnu.org>
Date: Thu, 16 Jan 2014 00:07:46 -0500
Subject: [PATCH] linechk script now checking against 76 lines

The rationale is to give room for three characters for line numbering, plus
one delimiting space, for a total of an 80-characer-wide terminal.
---
 tools/linechk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/linechk b/tools/linechk
index c46347b..b3d9d98 100755
--- a/tools/linechk
+++ b/tools/linechk
@@ -39,5 +39,5 @@ cd "$root" && \
   find lib/ tools/ test/ doc/ README* Makefile.am configure.ac *.js \
     -type f -exec wc -L {} \; \
       | hideignores \
-      | grep -v '^\([0-7][0-9]\?\|80\?\) ' \
+      | grep -v '^\([0-6][0-9]\?\|7[0-6]\) ' \
       || exit 0