diff options
| author | Clément Pit-Claudel | 2020-12-11 09:07:45 -0500 |
|---|---|---|
| committer | Clément Pit-Claudel | 2020-12-11 09:07:45 -0500 |
| commit | edc599b876949b8a093446cebd7fd3964f9a7c3f (patch) | |
| tree | 3fcb0d3b307e63c1e347ba507f36cea8739e5d36 | |
| parent | 6ce1c1d1b661a6cbb4a415f9f7960b2ff53b32c5 (diff) | |
| parent | 9cb6d07623fa4404069f2ba8fac3badf82291cc1 (diff) | |
Merge PR #13612: Bump reference to 8.12 refman following unexpected 8.12.2 release.
Reviewed-by: cpitclaudel
| -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/"), |