Merge PR coq#19219: [refman] Add 8.20

Reviewed-by: silene Co-authored-by: silene <[email protected]>
SkySkimmer · Jun 18, 2024 · fcf0a12 · fcf0a12
2 parents 1ffa410 + b369925
commit fcf0a12
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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.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/"),