diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index 50f9c9d60dcb..5793c19b545f 100644
--- 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/"),