make doc should not fail when version is not available

Fixes: #4665
Change-Id: Ief312e86b64ec1290d3410e1374ad1a71b5a3e4e
Reviewed-on: https://forge.frm2.tum.de/review/c/secop/frappy/+/30536
Tested-by: Jenkins Automated Tests <pedersen+jenkins@frm2.tum.de>
Reviewed-by: Georg Brandl <g.brandl@fz-juelich.de>
This commit is contained in:
zolliker 2023-02-28 10:51:18 +01:00
parent 2cf073e7d8
commit b48b965070

View File

@ -66,10 +66,13 @@ author = 'Enrico Faulhaber, Markus Zolliker'
# |version| and |release|, also used in various other places throughout the
# built documents.
#
# The full version, including alpha/beta/rc tags.
release = get_version()
# The short X.Y version.
version = release.split('-')[0]
try:
# The full version, including alpha/beta/rc tags.
release = get_version()
# The short X.Y version.
version = release.split('-')[0]
except ValueError:
pass
# The language for content autogenerated by Sphinx. Refer to documentation
# for a list of supported languages.