gnunet-handbook

commit 343837280c3c131d750bbdad731b78a7de5d07ef
parent 0cccef450b037a48170402117f7d3b6c0a4272af
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date:   Tue, 19 Sep 2023 15:50:08 +0200

add version switch

Diffstat:
A
_static/versions.json
 | 
12
++++++++++++
M
conf.py
 | 
6
++++++

2 files changed, 18 insertions(+), 0 deletions(-)
diff --git a/_static/versions.json b/_static/versions.json
@@ -0,0 +1,12 @@
+[
+    {
+        "name": "v0.20.0",
+        "version": "0.20.0",
+        "url": "https://docs.gnunet.org/0.20.0/"
+    },
+    {
+        "name": "latest",
+        "version": "latest",
+        "url": "https://docs.gnunet.org/latest"
+    },
+]
diff --git a/conf.py b/conf.py
@@ -83,6 +83,12 @@ html_theme_options = {
     #"navbar_center": ["navbar-nav"],
     "navbar_end": [],
     "navbar_persistent": [],
+    "switcher": {
+        "json_url": "https://docs.gnunet.org/latest/_static/versions.json",
+        "version_match": "latest"
+    },
+    "primary_sidebar_end": ["version-switcher"],
+    "check_switcher": False
 }
 
 man_make_section_directory = False