API generating script: give better version for releases builds.
authorBastien Montagne <montagne29@wanadoo.fr>
Tue, 13 Mar 2018 18:49:39 +0000 (19:49 +0100)
committerBastien Montagne <montagne29@wanadoo.fr>
Tue, 13 Mar 2018 18:49:39 +0000 (19:49 +0100)
commitc1694540c33d9c180f295eb3c81d2759a1d82d82
treede2f8ddad0ba8027356e60b411a82de3c8847b1f
parentbe25a0faa7ff0f64e9d75f5f48c042bb8595f142
API generating script: give better version for releases builds.

Was giving '2.62.1 <sha1>' even for releases, now rather giving nicer
'2.62a <sha1>' in that case.
doc/python_api/sphinx_doc_gen.py