Merge PR coq#18155: Partially revert coq#18108: go back to canonical …

…coq.inria.fr URLs. Reviewed-by: jfehrle Co-authored-by: jfehrle <[email protected]>
haansn08 · Oct 13, 2023 · c4337d3 · c4337d3
2 parents be8726c + 4c7510d
commit c4337d3
Showing 1 changed file with 21 additions and 21 deletions.
diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
@@ -211,27 +211,27 @@ def setup(app):
     'conf_py_path': '/doc/sphinx/',
     # Versions and downloads listed in the versions menu (see _templates/versions.html)
     'versions': [
-        ("dev", "https://coq.github.io/doc/master/refman/"),
-        ("stable", "https://coq.inria.fr/distrib/current/refman/"),
-        ("8.18", "https://coq.github.io/doc/v8.18/refman/"),
-        ("8.17", "https://coq.github.io/doc/V8.17.1/refman/"),
-        ("8.16", "https://coq.github.io/doc/V8.16.1/refman/"),
-        ("8.15", "https://coq.github.io/doc/V8.15.2/refman/"),
-        ("8.14", "https://coq.github.io/doc/V8.14.1/refman/"),
-        ("8.13", "https://coq.github.io/doc/V8.13.2/refman/"),
-        ("8.12", "https://coq.github.io/doc/V8.12.2/refman/"),
-        ("8.11", "https://coq.github.io/doc/V8.11.2/refman/"),
-        ("8.10", "https://coq.github.io/doc/V8.10.2/refman/"),
-        ("8.9", "https://coq.github.io/doc/V8.9.1/refman/"),
-        ("8.8", "https://coq-distrib.s3-website.fr-par.scw.cloud/V8.8.2/refman/"),
-        ("8.7", "https://coq-distrib.s3-website.fr-par.scw.cloud/V8.7.2/refman/"),
-        ("8.6", "https://coq-distrib.s3-website.fr-par.scw.cloud/V8.6.1/refman/"),
-        ("8.5", "https://coq-distrib.s3-website.fr-par.scw.cloud/V8.5pl3/refman/"),
-        ("8.4", "https://coq-distrib.s3-website.fr-par.scw.cloud/V8.4pl6/refman/"),
-        ("8.3", "https://coq-distrib.s3-website.fr-par.scw.cloud/V8.3pl5/refman/"),
-        ("8.2", "https://coq-distrib.s3-website.fr-par.scw.cloud/V8.2pl3/refman/"),
-        ("8.1", "https://coq-distrib.s3-website.fr-par.scw.cloud/V8.1pl6/refman/"),
-        ("8.0", "https://coq-distrib.s3-website.fr-par.scw.cloud/V8.0/doc/")
+        ("dev", "https://coq.inria.fr/doc/master/refman/"),
+        ("stable", "https://coq.inria.fr/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/")
     ],
     'downloads': ([("PDF", PDF_URL.format(version=version))]
                   if coq_config.is_a_released_version else [])