diff --git a/doc/source/conf.py b/doc/source/conf.py index c1a41d1..0c71a5e 100644 --- a/doc/source/conf.py +++ b/doc/source/conf.py @@ -56,7 +56,7 @@ master_doc = 'index' # General information about the project. project = 'stormpy' -copyright = '2016--2018 Moves RWTH Aachen' +copyright = '2016-2019 Moves RWTH Aachen' author = 'Sebastian Junges, Matthias Volk' # The version info for the project you're documenting, acts as replacement for @@ -64,9 +64,9 @@ author = 'Sebastian Junges, Matthias Volk' # built documents. # # The short X.Y version. -version = '' +version = stormpy.__version__ # The full version, including alpha/beta/rc tags. -release = '' +release = version # The language for content autogenerated by Sphinx. Refer to documentation # for a list of supported languages. diff --git a/lib/stormpy/__init__.py b/lib/stormpy/__init__.py index 6f5a652..bf19d5a 100644 --- a/lib/stormpy/__init__.py +++ b/lib/stormpy/__init__.py @@ -15,7 +15,7 @@ from pycarl import Variable # needed for building parametric models __version__ = "unknown" try: - from _version import __version__ + from ._version import __version__ except ImportError: # We're running in a tree that doesn't have a _version.py, so we don't know what our version is. pass