diff options
| author | Clément Pit-Claudel | 2020-03-23 16:02:42 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2020-03-23 16:02:42 -0400 |
| commit | f4b9158addf87e48a5287e400a8858406f20655e (patch) | |
| tree | 8d3e988d6756fb838c017c79d9fd822310bc2c8e /doc/sphinx/changes.rst | |
| parent | 47d92a69773755e2ad5d5f987f87337fdf7e98d8 (diff) | |
[refman] Fix caching, which was broken by the addition of coq_config
Diffstat (limited to 'doc/sphinx/changes.rst')
| -rw-r--r-- | doc/sphinx/changes.rst | 2 |
1 files changed, 1 insertions, 1 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 |