From 60b3d72d9e304605e78afa70fe9febadf8edf6a2 Mon Sep 17 00:00:00 2001
From: Dominic Oram <dominic.oram@diamond.ac.uk>
Date: Fri, 27 Oct 2023 11:02:47 +0100
Subject: [PATCH] (#218) Fix docs build by providing default arg

---
 docs/conf.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/conf.py b/docs/conf.py
index 89f57c78f2..bc3adf5d90 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -173,6 +173,7 @@
             "url": f"https://github.com/{github_user}/{github_repo}/releases",
         }
     ],
+    "navigation_with_keys": False,
 }
 
 # A dictionary of values to pass into the template engine’s context for all pages