From b48b965070d4cde06ebde653411c5d6967b331f3 Mon Sep 17 00:00:00 2001 From: Markus Zolliker Date: Tue, 28 Feb 2023 10:51:18 +0100 Subject: [PATCH] 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 Reviewed-by: Georg Brandl --- doc/source/conf.py | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/doc/source/conf.py b/doc/source/conf.py index 5ebdeb0..b9006c3 100644 --- a/doc/source/conf.py +++ b/doc/source/conf.py @@ -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.