diff --git a/scripts/dump-swagger.py b/scripts/dump-swagger.py index 75b46ac6..71acd052 100755 --- a/scripts/dump-swagger.py +++ b/scripts/dump-swagger.py @@ -26,7 +26,7 @@ output_directory = sys.argv[1] release_label = sys.argv[2] if len(sys.argv) > 2 else "unstable" major_version = release_label -match = re.match("^(r\d)+(\.\d+)?$", major_version) +match = re.match("^(r\d)+(\.\d+)*$", major_version) if match: major_version = match.group(1) diff --git a/scripts/gendoc.py b/scripts/gendoc.py index 801c06bb..88ca6bdb 100755 --- a/scripts/gendoc.py +++ b/scripts/gendoc.py @@ -429,7 +429,7 @@ def main(requested_target_name, keep_intermediates, substitutions): def extract_major(s): major_version = s - match = re.match("^(r\d)+(\.\d+)?$", s) + match = re.match("^(r\d)+(\.\d+)*$", s) if match: major_version = match.group(1) return major_version