diff options
| author | Neil <nyamatongwe@gmail.com> | 2023-03-13 15:04:34 +1100 |
|---|---|---|
| committer | Neil <nyamatongwe@gmail.com> | 2023-03-13 15:04:34 +1100 |
| commit | f5b5b395e2c21c6c8a338a2b2641e3143534589c (patch) | |
| tree | 4e497545930ea907ffa15e4d405ebab9a190d3fe | |
| parent | 0677b27b9e9ff04257629c3ce9cf2309cbaaa0eb (diff) | |
| download | scintilla-mirror-f5b5b395e2c21c6c8a338a2b2641e3143534589c.tar.gz | |
Support 4 digit version numbers so version 10.0.0 will work.
| -rw-r--r-- | scripts/LexGen.py | 2 | ||||
| -rw-r--r-- | scripts/ScintillaData.py | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/scripts/LexGen.py b/scripts/LexGen.py index fba9f6631..a999621d6 100644 --- a/scripts/LexGen.py +++ b/scripts/LexGen.py @@ -34,7 +34,7 @@ def UpdateVersionNumbers(sci, root): UpdateLineInFile(root / "doc/ScintillaDownload.html", " Release", " Release " + sci.versionDotted) ReplaceREInFile(root / "doc/ScintillaDownload.html", - r"/www.scintilla.org/([a-zA-Z]+)\d\d\d", + r"/www.scintilla.org/([a-zA-Z]+)\d{3,5}", r"/www.scintilla.org/\g<1>" + sci.version, 0) UpdateLineInFile(root / "doc/index.html", diff --git a/scripts/ScintillaData.py b/scripts/ScintillaData.py index 355b5d471..857da7dd5 100644 --- a/scripts/ScintillaData.py +++ b/scripts/ScintillaData.py @@ -49,8 +49,8 @@ class ScintillaData: def __init__(self, scintillaRoot): # Discover version information self.version = (scintillaRoot / "version.txt").read_text().strip() - self.versionDotted = self.version[0] + '.' + self.version[1] + '.' + \ - self.version[2] + self.versionDotted = self.version[0:-2] + '.' + self.version[-2] + '.' + \ + self.version[-1] self.versionCommad = self.versionDotted.replace(".", ", ") + ', 0' with (scintillaRoot / "doc" / "index.html").open() as f: |