Partially revert coq#18108: go back to canonical coq.inria.fr URLs.

Now that redirects work for them and old doc versions were uploaded to the doc repo.
Zimmi48 · Oct 12, 2023 · 4c7510d · 4c7510d
1 parent 91ec407
commit 4c7510d
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 [])