Merge PR coq#18108: Update doc URLs

Reviewed-by: Zimmi48 Co-authored-by: Zimmi48 <[email protected]>
SkySkimmer · Oct 2, 2023 · a41fd86 · a41fd86
2 parents a2bf792 + a1d7d16
commit a41fd86
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 19 deletions.
diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst
@@ -7154,7 +7154,7 @@ Other changes in 8.10+beta1
     by Jasper Hugunin, review by Pierre-Marie Pédrot and Hugo Herbelin).
 
 - The `quote plugin
-  <https://coq.inria.fr/distrib/V8.9.0/refman/proof-engine/detailed-tactic-examples.html#quote>`_
+  <https://coq.github.io/doc/v8.9/refman/proof-engine/detailed-tactic-examples.html#quote>`_
   was removed. If some users are interested in maintaining this plugin
   externally, the Coq development team can provide assistance for
   extracting the plugin and setting up a new repository

diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
@@ -214,24 +214,24 @@ def setup(app):
         ("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.inria.fr/distrib/V8.17.1/refman/"),
-        ("8.16", "https://coq.inria.fr/distrib/V8.16.1/refman/"),
-        ("8.15", "https://coq.inria.fr/distrib/V8.15.2/refman/"),
-        ("8.14", "https://coq.inria.fr/distrib/V8.14.1/refman/"),
-        ("8.13", "https://coq.inria.fr/distrib/V8.13.2/refman/"),
-        ("8.12", "https://coq.inria.fr/distrib/V8.12.2/refman/"),
-        ("8.11", "https://coq.inria.fr/distrib/V8.11.2/refman/"),
-        ("8.10", "https://coq.inria.fr/distrib/V8.10.2/refman/"),
-        ("8.9", "https://coq.inria.fr/distrib/V8.9.1/refman/"),
-        ("8.8", "https://coq.inria.fr/distrib/V8.8.2/refman/"),
-        ("8.7", "https://coq.inria.fr/distrib/V8.7.2/refman/"),
-        ("8.6", "https://coq.inria.fr/distrib/V8.6.1/refman/"),
-        ("8.5", "https://coq.inria.fr/distrib/V8.5pl3/refman/"),
-        ("8.4", "https://coq.inria.fr/distrib/V8.4pl6/refman/"),
-        ("8.3", "https://coq.inria.fr/distrib/V8.3pl5/refman/"),
-        ("8.2", "https://coq.inria.fr/distrib/V8.2pl3/refman/"),
-        ("8.1", "https://coq.inria.fr/distrib/V8.1pl6/refman/"),
-        ("8.0", "https://coq.inria.fr/distrib/V8.0/doc/")
+        ("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/")
     ],
     'downloads': ([("PDF", PDF_URL.format(version=version))]
                   if coq_config.is_a_released_version else [])