gnunet-handbook

commit 0eeaff0978cdb0610a871709f18d5bba4ccaf88f
parent e6d65efe70f694d030182401437d309532c1cc12
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date:   Wed,  6 Sep 2023 12:04:28 +0200

add search, move util to file

Diffstat:
M
conf.py
 | 
4
++++
M
developers/index.rst
 | 
2
+-
R
developers/util/index.rst -> developers/util.rst
 | 
0

M
index.rst
 | 
1
+

4 files changed, 6 insertions(+), 1 deletion(-)
diff --git a/conf.py b/conf.py
@@ -60,6 +60,10 @@ exclude_patterns = ['_build', 'Thumbs.db', '.DS_Store']
 #
 html_theme = 'sphinx_book_theme'
 
+html_sidebars = {
+    "**": ["navbar-logo.html", "search-field.html", "sbt-sidebar-nav.html"]
+}
+
 #html_theme_options = {
     #'logo_only': True,
     #'display_version': False,
diff --git a/developers/index.rst b/developers/index.rst
@@ -46,7 +46,7 @@ new chapters, sections or insightful comments.
    style.rst
    repo.rst
 
-   util/index.rst
+   util.rst
    architecture.rst
    corestack.rst
    rest-api/index.rst
diff --git a/developers/util/index.rst b/developers/util.rst
diff --git a/index.rst b/index.rst
@@ -3,6 +3,7 @@ Welcome to GNUnet’s documentation!
 ##################################
 
 .. toctree::
+   :maxdepth: 1
 
    about
    installing