From 65544b96239d4132f92abf1428c8f144103566fb Mon Sep 17 00:00:00 2001
From: Alex Bilger <alexbilger0@gmail.com>
Date: Thu, 25 Jul 2024 14:33:55 +0200
Subject: [PATCH] Keep navigation regular case

---
 script/generate_nav.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/script/generate_nav.py b/script/generate_nav.py
index 32282e008..a26877214 100644
--- a/script/generate_nav.py
+++ b/script/generate_nav.py
@@ -43,7 +43,7 @@ def to_lowercase(input_string):
 def clean_title(s):
     if s.endswith('.md'):
         s = remove_extension(s)
-    s = clean_filename(s)
+    s = re.sub(r'^\d+_', '', s)
     s = s.replace("_", " ")
     return s