diff options
| author | coqbot-app[bot] | 2020-11-18 15:09:10 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-18 15:09:10 +0000 |
| commit | e6334138fc9f596434980e36850c2b90d60a50a8 (patch) | |
| tree | 49335cbfca60d65a65857b355aaf9ac35b22b9b2 | |
| parent | 162c19cbb1863e11a81450a188a6d7f9f79e8b73 (diff) | |
| parent | 16c354575066bab820e248090fa636c2bcb2ebb5 (diff) | |
Merge PR #13400: [doc] add a link to v8.13
Reviewed-by: Zimmi48
| -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/"), |