Check for \NULL markup errors.
diff --git a/Tools/scripts/texcheck.py b/Tools/scripts/texcheck.py
index 68be451..a2c8905 100644
--- a/Tools/scripts/texcheck.py
+++ b/Tools/scripts/texcheck.py
@@ -99,6 +99,7 @@
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 @@
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: