From 16c354575066bab820e248090fa636c2bcb2ebb5 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 16 Nov 2020 18:41:14 +0100
Subject: [doc] add a link to v8.13

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

(limited to 'doc/sphinx')

diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index 75ac2a76cd..af5d1e3a00 100755
--- a/doc/sphinx/conf.py
+++ b/doc/sphinx/conf.py
@@ -221,7 +221,8 @@ html_context = {
     'versions': [
         ("dev", "https://coq.github.io/doc/master/refman/"),
         ("stable", "https://coq.inria.fr/distrib/current/refman/"),
-        ("v8.12", "https://coq.github.io/doc/v8.12/refman/"),
+        ("v8.13", "https://coq.github.io/doc/v8.13/refman/"),
+        ("8.12", "https://coq.inria.fr/distrib/V8.12.1/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