diff --git a/tools/linechk-ignores b/tools/linechk-ignores index fe18a09..28ff635 100644 --- a/tools/linechk-ignores +++ b/tools/linechk-ignores @@ -1,6 +1,9 @@ # any file matching any pattern in this file is ignored by the line check tool # (uses POSIX regular expressions, as is default in grep) doc/highlight.pack.js$ +doc/.*.html\?$ .png$ .dia$ .jar$ +.info$ +Makefile