From d0f1fc935c4efbbfddfe3398ac1045d1a805d31b Mon Sep 17 00:00:00 2001 From: Thomas Pinder Date: Thu, 5 Oct 2023 20:51:27 +0200 Subject: [PATCH] Fix file extension --- mkdocs.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/mkdocs.yml b/mkdocs.yml index 58e1dbba0..e62a4dfd6 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -38,7 +38,7 @@ nav: - 💻 Raw tutorial code: give_me_the_code.md - Community: - 👥 Code of conduct: CODE_OF_CONDUCT.md - - 📜 Governance: GOVERNANCE.MD + - 📜 Governance: GOVERNANCE.md - 📨 Contact: https://jaxgaussianprocesses.com/contact/ - 📕 Reference: api/ @@ -49,6 +49,7 @@ theme: - navigation.instant - navigation.tracking - navigation.sections + - navigation.expand - navigation.top # Show a back to top button - content.code.copy - search.suggest # Show search suggestions