From f4b9158addf87e48a5287e400a8858406f20655e Mon Sep 17 00:00:00 2001
From: Clément Pit-Claudel
Date: Mon, 23 Mar 2020 16:02:42 -0400
Subject: [refman] Fix caching, which was broken by the addition of coq_config

---
 doc/sphinx/changes.rst | 2 +-
 doc/sphinx/conf.py     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst
index afe22d24e5..4e94240c32 100644
--- a/doc/sphinx/changes.rst
+++ b/doc/sphinx/changes.rst
@@ -4,7 +4,7 @@
 Recent changes
 --------------
 
-.. ifconfig:: not coq_config.is_a_released_version
+.. ifconfig:: not is_a_released_version
 
    .. include:: ../unreleased.rst
 
diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index 3d77d07061..4bf1a6f3a9 100755
--- a/doc/sphinx/conf.py
+++ b/doc/sphinx/conf.py
@@ -100,7 +100,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')
+    app.add_config_value('is_a_released_version', coq_config.is_a_released_version, 'env')
 
 # The master toctree document.
 # We create this file in `copy_master_doc` above.
-- 
cgit v1.2.3