diff options
Diffstat (limited to 'scripts/CheckMentioned.py')
-rw-r--r-- | scripts/CheckMentioned.py | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/scripts/CheckMentioned.py b/scripts/CheckMentioned.py index 379225fe1..c80fb2356 100644 --- a/scripts/CheckMentioned.py +++ b/scripts/CheckMentioned.py @@ -2,7 +2,7 @@ # CheckMentioned.py # Find all the symbols in scintilla/include/Scintilla.h and check if they # are mentioned in scintilla/doc/ScintillaDoc.html. -# Requires Python 2.7 or later +# Requires Python 3.6 or later import re, string, sys @@ -22,10 +22,7 @@ uninteresting = { incFileName = srcRoot + "/scintilla/include/Scintilla.h" docFileName = srcRoot + "/scintilla/doc/ScintillaDoc.html" -try: # Old Python - identCharacters = "_" + string.letters + string.digits -except AttributeError: # Python 3.x - identCharacters = "_" + string.ascii_letters + string.digits +identCharacters = "_" + string.ascii_letters + string.digits # Convert all punctuation characters except '_' into spaces. def depunctuate(s): |