From: Raymond Hettinger Date: Mon, 8 Sep 2003 17:33:31 +0000 (+0000) Subject: Check for \NULL markup errors. X-Git-Tag: v2.4a1~1614 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=b9c07af46c6761db7e938c8ef8f983ae9fa402a1;p=python Check for \NULL markup errors. --- diff --git a/Tools/scripts/texcheck.py b/Tools/scripts/texcheck.py index 68be4511d2..a2c890509d 100644 --- a/Tools/scripts/texcheck.py +++ b/Tools/scripts/texcheck.py @@ -99,6 +99,7 @@ def checkit(source, opts, morecmds=[]): delimiters = re.compile(r'\\(begin|end){([_a-zA-Z]+)}|([()\[\]])') braces = re.compile(r'({)|(})') doubledwords = re.compile(r'(\b[A-za-z]+\b) \b\1\b') + nullmarkup = re.compile(r'\NULL(?!\{\})') openers = [] # Stack of pending open delimiters bracestack = [] # Stack of pending open braces @@ -151,6 +152,10 @@ def checkit(source, opts, morecmds=[]): if '\\' + cmd in validcmds: print 'Warning, forward slash used on line %d with cmd: /%s' % (lineno, cmd) + # Check for bad markup + if nullmarkup.search(line): + print r'Warning, \NULL should be written as \NULL{} on line %d' % (lineno,) + # Validate commands nc = line.find(r'\newcommand') if nc != -1: