docs: update sphinx theme option to new name

abdes · Apr 8, 2023 · a78e49a · a78e49a
1 parent 3adbff4
commit a78e49a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/conf.py.in b/doc/conf.py.in
@@ -115,7 +115,7 @@ html_theme_options = {
     "use_fullscreen_button": True,
     # We don't want the default navigation bar footer to be displayed on every
     # page. Mention of the book theme will be added in the home page.
-    "extra_navbar": ""
+    "extra_footer": ""
 }
 
 # -- Extension configuration -------------------------------------------------