Merge PR coq#20047: Add the 9.0 refman link.

Reviewed-by: Zimmi48 Ack-by: proux01 Co-authored-by: Zimmi48 <[email protected]>
SkySkimmer · Jan 15, 2025 · 6f4a658 · 6f4a658
2 parents f3c7766 + 04d7c1e
commit 6f4a658
Showing 1 changed file with 24 additions and 23 deletions.
diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
@@ -211,29 +211,30 @@ def setup(app):
     'conf_py_path': '/doc/sphinx/',
     # Versions and downloads listed in the versions menu (see _templates/versions.html)
     'versions': [
-        ("dev", "https://coq.inria.fr/doc/master/refman/"),
-        ("stable", "https://coq.inria.fr/refman/"),
-        ("8.20", "https://coq.inria.fr/doc/v8.20/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/"),
-        ("8.15", "https://coq.inria.fr/doc/V8.15.2/refman/"),
-        ("8.14", "https://coq.inria.fr/doc/V8.14.1/refman/"),
-        ("8.13", "https://coq.inria.fr/doc/V8.13.2/refman/"),
-        ("8.12", "https://coq.inria.fr/doc/V8.12.2/refman/"),
-        ("8.11", "https://coq.inria.fr/doc/V8.11.2/refman/"),
-        ("8.10", "https://coq.inria.fr/doc/V8.10.2/refman/"),
-        ("8.9", "https://coq.inria.fr/doc/V8.9.1/refman/"),
-        ("8.8", "https://coq.inria.fr/doc/V8.8.2/refman/"),
-        ("8.7", "https://coq.inria.fr/doc/V8.7.2/refman/"),
-        ("8.6", "https://coq.inria.fr/doc/V8.6.1/refman/"),
-        ("8.5", "https://coq.inria.fr/doc/V8.5pl3/refman/"),
-        ("8.4", "https://coq.inria.fr/doc/V8.4pl6/refman/"),
-        ("8.3", "https://coq.inria.fr/doc/V8.3pl5/refman/"),
-        ("8.2", "https://coq.inria.fr/doc/V8.2pl3/refman/"),
-        ("8.1", "https://coq.inria.fr/doc/V8.1pl6/refman/"),
-        ("8.0", "https://coq.inria.fr/doc/V8.0/doc/")
+        ("dev", "https://rocq-prover.org/doc/master/refman/"),
+        ("stable", "https://rocq-prover.org/refman/"),
+        ("9.0", "https://rocq-prover.org/doc/v9.0/refman/"),
+        ("8.20", "https://rocq-prover.org/doc/v8.20/refman/"),
+        ("8.19", "https://rocq-prover.org/doc/V8.19.2/refman/"),
+        ("8.18", "https://rocq-prover.org/doc/V8.18.0/refman/"),
+        ("8.17", "https://rocq-prover.org/doc/V8.17.1/refman/"),
+        ("8.16", "https://rocq-prover.org/doc/V8.16.1/refman/"),
+        ("8.15", "https://rocq-prover.org/doc/V8.15.2/refman/"),
+        ("8.14", "https://rocq-prover.org/doc/V8.14.1/refman/"),
+        ("8.13", "https://rocq-prover.org/doc/V8.13.2/refman/"),
+        ("8.12", "https://rocq-prover.org/doc/V8.12.2/refman/"),
+        ("8.11", "https://rocq-prover.org/doc/V8.11.2/refman/"),
+        ("8.10", "https://rocq-prover.org/doc/V8.10.2/refman/"),
+        ("8.9", "https://rocq-prover.org/doc/V8.9.1/refman/"),
+        ("8.8", "https://rocq-prover.org/doc/V8.8.2/refman/"),
+        ("8.7", "https://rocq-prover.org/doc/V8.7.2/refman/"),
+        ("8.6", "https://rocq-prover.org/doc/V8.6.1/refman/"),
+        ("8.5", "https://rocq-prover.org/doc/V8.5pl3/refman/"),
+        ("8.4", "https://rocq-prover.org/doc/V8.4pl6/refman/"),
+        ("8.3", "https://rocq-prover.org/doc/V8.3pl5/refman/"),
+        ("8.2", "https://rocq-prover.org/doc/V8.2pl3/refman/"),
+        ("8.1", "https://rocq-prover.org/doc/V8.1pl6/refman/"),
+        ("8.0", "https://rocq-prover.org/doc/V8.0/doc/")
     ],
     'downloads': ([("PDF", PDF_URL.format(version=version))]
                   if coq_config.is_a_released_version else [])