From 815bdef747f7d69f25121f42ec72d109ec92edfe Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Sun, 11 Mar 2018 13:55:25 +0100
Subject: [Sphinx] Read version number from configure

---
 doc/sphinx/conf.py | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'doc/sphinx')

diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index 0c8797b0ed..cfca4ca651 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.
-- 
cgit v1.2.3