From b51919f5b757ee6409f97b93c0f0a8bec84f55ad Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Tue, 4 Jul 2017 22:37:41 +1000
Subject: [PATCH] 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.
---
 py/makeversionhdr.py | 4 ++--
 1 file 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:
-- 
GitLab