diff options
| -rwxr-xr-x | configure.py | 2 | ||||
| -rw-r--r-- | src/configs/sphinx/conf.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/configure.py b/configure.py index 3d788d2eb..0f803c601 100755 --- a/configure.py +++ b/configure.py @@ -53,7 +53,7 @@ def flatten(l): def parse_version_file(version_path): version_file = open(version_path) - key_and_val = re.compile(r"([a-z_]+) = ([a-zA-Z0-9:\']+)") + key_and_val = re.compile(r"([a-z_]+) = ([a-zA-Z0-9:\-\']+)") results = {} for line in version_file.readlines(): diff --git a/src/configs/sphinx/conf.py b/src/configs/sphinx/conf.py index 67f4a5678..05888e064 100644 --- a/src/configs/sphinx/conf.py +++ b/src/configs/sphinx/conf.py @@ -17,7 +17,7 @@ def check_for_tag(tag): def parse_version_file(version_path): version_file = open(version_path) - key_and_val = re.compile(r"([a-z_]+) = ([a-zA-Z0-9:\']+)") + key_and_val = re.compile(r"([a-z_]+) = ([a-zA-Z0-9:\-\']+)") results = {} for line in version_file.readlines(): |