From 50a89e6882e319cf6107147b49d387dd41e81805 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 8 May 2019 20:50:36 +0200
Subject: Define a new `is_a_released_version` variable in configure.ml.

Use it to not include unreleased changes when building a released
version.
---
 doc/sphinx/changes.rst | 4 +++-
 doc/sphinx/conf.py     | 2 ++
 2 files changed, 5 insertions(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst
index 5704587ae0..574b943a78 100644
--- a/doc/sphinx/changes.rst
+++ b/doc/sphinx/changes.rst
@@ -2,7 +2,9 @@
 Recent changes
 --------------
 
-.. include:: ../unreleased.rst
+.. ifconfig:: not coq_config.is_a_released_version
+
+   .. include:: ../unreleased.rst
 
 Version 8.10
 ------------
diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index 48ad60c6dd..25800d3a7d 100755
--- a/doc/sphinx/conf.py
+++ b/doc/sphinx/conf.py
@@ -53,6 +53,7 @@ with open("refman-preamble.rst") as s:
 # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
 # ones.
 extensions = [
+    'sphinx.ext.ifconfig',
     'sphinx.ext.mathjax',
     'sphinx.ext.todo',
     'sphinxcontrib.bibtex',
@@ -100,6 +101,7 @@ def copy_formatspecific_files(app):
 
 def setup(app):
     app.connect('builder-inited', copy_formatspecific_files)
+    app.add_config_value('coq_config', coq_config, 'env')
 
 # The master toctree document.
 # We create this file in `copy_master_doc` above.
-- 
cgit v1.2.3