doc: use actual version

doc/manual/conf.py

@@ -36,7 +36,9 @@ for module in mock_modules:
 # If extensions (or modules to document with autodoc) are in another directory,
 # add these directories to sys.path here. If the directory is relative to the
 # documentation root, use os.path.abspath to make it absolute, like shown here.
-#sys.path.insert(0, os.path.abspath('.'))
+sys.path.insert(0, os.path.abspath('..'))
+
+from artiq._version import get_versions
 
 # -- General configuration ------------------------------------------------
 
@@ -73,9 +75,11 @@ copyright = '2014-2016, M-Labs Limited'
 # built documents.
 #
 # The short X.Y version.
-version = 'prerelease'
+# version = 'prerelease'
 # The full version, including alpha/beta/rc tags.
-release = 'prerelease'
+# release = 'prerelease'
+release = get_versions()['version']
+version = release.split('+', 1)[0]
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.
@@ -120,7 +124,7 @@ pygments_style = 'sphinx'
 
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
-html_theme = 'default'
+html_theme = 'classic'
 
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the