diff options
| -rwxr-xr-x | test/CheckTexinfo.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/CheckTexinfo.py b/test/CheckTexinfo.py index eedd975d..34d0e153 100755 --- a/test/CheckTexinfo.py +++ b/test/CheckTexinfo.py @@ -30,6 +30,7 @@ class CheckTexinfo (CheckOptions): item_regex = re.compile('^@item --([-A-Za-z]+)') itemx_regex = re.compile('^@itemx') fix_regex = re.compile('FIX') + comment_regex = re.compile('^\s*@c') for line in open(filename): line = line.strip() if state == state_normal: @@ -50,7 +51,7 @@ class CheckTexinfo (CheckOptions): opt_doc = str() elif itemx_regex.match(line): continue - else: + elif not comment_regex.match(line): opt_doc += line return options |