From 130ad109eee21c61f8fb66666b7b8786561b8a21 Mon Sep 17 00:00:00 2001 From: Danilo Piparo Date: Mon, 18 May 2026 16:51:00 +0200 Subject: [PATCH 1/2] Add 6.40 as latest release --- doc/selectversion.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/selectversion.js b/doc/selectversion.js index 1946d211..5a09070b 100644 --- a/doc/selectversion.js +++ b/doc/selectversion.js @@ -31,7 +31,7 @@ function url2version(patharr) { // The latest release. NOT necessarily equal to latest-stable, as stable releases are only // once every two versions. // >>> CHANGE THIS WHEN A NEW VERSION IS RELEASED! (stable or not) <<< -const LATEST_VERSION = 638; +const LATEST_VERSION = 640; const LATEST_VERSION_IS_STABLE = LATEST_VERSION % 4 === 0; const LATEST_STABLE = LATEST_VERSION - 2 * !LATEST_VERSION_IS_STABLE; const FIRST_VERSION = 610; From 7df571e8214c01f539f55a9b198e25f9b01bd0f5 Mon Sep 17 00:00:00 2001 From: Danilo Piparo Date: Tue, 19 May 2026 12:05:49 +0200 Subject: [PATCH 2/2] Allow to force overwrite a release page --- _releases/make-release-page.py | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/_releases/make-release-page.py b/_releases/make-release-page.py index fc9d5f8f..effbfc42 100755 --- a/_releases/make-release-page.py +++ b/_releases/make-release-page.py @@ -406,10 +406,16 @@ def generateFooter(outfile, version): if __name__ == "__main__": if len(sys.argv) < 2: - print(F"USAGE: {sys.argv[0]} _releases/release-Mmmpp.md") + print(F"USAGE: {sys.argv[0]} [--force] _releases/release-Mmmpp.md") exit(1) - outfileName = sys.argv[1] - checkOutputFile(outfileName) + if len(sys.argv) == 3: + outfileName = sys.argv[2] + force = True + else: + outfileName = sys.argv[1] + force = False + + if not force: checkOutputFile(outfileName) version = parseVersion(outfileName) print(F"INFO: generating release page for version {version.forDiagnostic()}") with open(outfileName, "w") as outfile: