diff options
| author | Enrico Tassi | 2020-11-16 18:41:14 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-11-16 19:00:14 +0100 |
| commit | 16c354575066bab820e248090fa636c2bcb2ebb5 (patch) | |
| tree | c4a699aeeb796f31a2a63d18aa2f868d52e7cf1b /doc | |
| parent | 04b25a7635e796ad05ef7db537883594a5144a56 (diff) | |
[doc] add a link to v8.13
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/sphinx/conf.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py index 75ac2a76cd..af5d1e3a00 100755 --- a/doc/sphinx/conf.py +++ b/doc/sphinx/conf.py @@ -221,7 +221,8 @@ html_context = { 'versions': [ ("dev", "https://coq.github.io/doc/master/refman/"), ("stable", "https://coq.inria.fr/distrib/current/refman/"), - ("v8.12", "https://coq.github.io/doc/v8.12/refman/"), + ("v8.13", "https://coq.github.io/doc/v8.13/refman/"), + ("8.12", "https://coq.inria.fr/distrib/V8.12.1/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/"), |