From 79d7cd1cb306cbf890ca2f79508ca06839df810e Mon Sep 17 00:00:00 2001 From: Gregor Sturm Date: Wed, 25 Oct 2023 09:54:16 +0200 Subject: [PATCH] Fix sphinx warning --- docs/conf.py | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/conf.py b/docs/conf.py index fa8235efa..eea484b22 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -138,6 +138,7 @@ "repository_url": repository_url, "use_repository_button": True, "path_to_docs": "docs/", + "navigation_with_keys": False, } pygments_style = "default"