[Sphinx] Read version number from configure

1 files changed, 5 insertions, 2 deletions

diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index 0c8797b0e..cfca4ca65 100755
--- a/doc/sphinx/conf.py
+++ b/doc/sphinx/conf.py
@@ -32,6 +32,9 @@ sys.setrecursionlimit(1500)
 # 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.append(os.path.abspath('../tools/'))
+sys.path.append(os.path.abspath('../../config/'))
+
+import coq_config
 
 # -- General configuration ------------------------------------------------
 
@@ -72,9 +75,9 @@ author = 'The Coq Development Team'
 # built documents.
 #
 # The short X.Y version.
-version = '8.7'
+version = coq_config.version
 # The full version, including alpha/beta/rc tags.
-release = '8.7.dev'
+release = coq_config.version
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.