diff options
| author | Théo Zimmermann | 2020-12-11 10:13:10 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-12-11 10:13:10 +0100 |
| commit | 9cb6d07623fa4404069f2ba8fac3badf82291cc1 (patch) | |
| tree | d3d940c6917efa3def10f08d0952b8da8a38924e | |
| parent | 1918f19cb43d6d4313276b167af38316b27879f2 (diff) | |
Bump reference to 8.12 refman following unexpected 8.12.2 release.
| -rwxr-xr-x | doc/sphinx/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py index 246568d3c1..bce88cebde 100755 --- a/doc/sphinx/conf.py +++ b/doc/sphinx/conf.py @@ -220,7 +220,7 @@ html_context = { ("dev", "https://coq.github.io/doc/master/refman/"), ("stable", "https://coq.inria.fr/distrib/current/refman/"), ("v8.13", "https://coq.github.io/doc/v8.13/refman/"), - ("8.12", "https://coq.inria.fr/distrib/V8.12.1/refman/"), + ("8.12", "https://coq.inria.fr/distrib/V8.12.2/refman/"), ("8.11", "https://coq.inria.fr/distrib/V8.11.2/refman/"), ("8.10", "https://coq.inria.fr/distrib/V8.10.2/refman/"), ("8.9", "https://coq.inria.fr/distrib/V8.9.1/refman/"), |