From 9cb6d07623fa4404069f2ba8fac3badf82291cc1 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 11 Dec 2020 10:13:10 +0100
Subject: Bump reference to 8.12 refman following unexpected 8.12.2 release.

---
 doc/sphinx/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

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/"),
-- 
cgit v1.2.3