Add refman version link for 8.19

SkySkimmer · Dec 4, 2023 · 9ffd842 · 9ffd842
1 parent ababbf4
commit 9ffd842
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
@@ -213,6 +213,7 @@ def setup(app):
     'versions': [
         ("dev", "https://coq.inria.fr/doc/master/refman/"),
         ("stable", "https://coq.inria.fr/refman/"),
+        ("8.19", "https://coq.inria.fr/doc/v8.19/refman/"),
         ("8.18", "https://coq.inria.fr/doc/v8.18/refman/"),
         ("8.17", "https://coq.inria.fr/doc/V8.17.1/refman/"),
         ("8.16", "https://coq.inria.fr/doc/V8.16.1/refman/"),