aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-rw-r--r--scripts/CheckMentioned.py4
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/CheckMentioned.py b/scripts/CheckMentioned.py
index bf26a0ba3..d2c71dcbe 100644
--- a/scripts/CheckMentioned.py
+++ b/scripts/CheckMentioned.py
@@ -205,6 +205,10 @@ def checkDocumentation():
print(val, "<-", name, ";;", valOfName)
except KeyError:
print("***", val, "<-", name)
+
+ for name in sccToValue.keys():
+ if name not in ["SCI_OPTIONAL_START", "SCI_LEXER_START"] and name not in docs:
+ print(f"Unknown {name}")
for identifier in sorted(symbols.keys()):
if not symbols[identifier] and identifier not in uninteresting: