diff options
| author | Damien George <damien.p.george@gmail.com> | 2017-07-04 22:37:41 +1000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2017-07-04 22:37:41 +1000 |
| commit | b51919f5b757ee6409f97b93c0f0a8bec84f55ad (patch) | |
| tree | 979eb1e9238d509ed91f8d53303a58ed5bf867f4 /py/makeversionhdr.py | |
| parent | 48b745cfc800e77a49f92530b3c6d15820138edb (diff) | |
py/makeversionhdr.py: Update to parse new release line in docs/conf.py.
The line in docs/conf.py with the release/version number was recently
changed and this patch makes the makeversionhdr.py script work again.
Diffstat (limited to 'py/makeversionhdr.py')
| -rw-r--r-- | py/makeversionhdr.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/py/makeversionhdr.py b/py/makeversionhdr.py index 1d8f59bd2..749160b4d 100644 --- a/py/makeversionhdr.py +++ b/py/makeversionhdr.py @@ -59,8 +59,8 @@ def get_version_info_from_git(): def get_version_info_from_docs_conf(): with open(os.path.join(os.path.dirname(sys.argv[0]), "..", "docs", "conf.py")) as f: for line in f: - if line.startswith("release = '"): - ver = line.strip()[10:].strip("'") + if line.startswith("version = release = '"): + ver = line.strip().split(" = ")[2].strip("'") git_tag = "v" + ver ver = ver.split(".") if len(ver) == 2: |