diff options
Diffstat (limited to 'tools/get_descriptions.py')
| -rwxr-xr-x | tools/get_descriptions.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/get_descriptions.py b/tools/get_descriptions.py index 0a39a19..2f29879 100755 --- a/tools/get_descriptions.py +++ b/tools/get_descriptions.py @@ -49,5 +49,7 @@ for name in args.filenames: # skip comments elif re.match(r"\w*\/\/", text): continue + elif re.match(r"include::", text): + continue else: print(text) |