From d4c346c7f26caabbc7303d019a2fdc47cf77439d Mon Sep 17 00:00:00 2001
From: tsukky <tsukky67@keio.jp>
Date: Sat, 9 Dec 2023 17:33:37 +0900
Subject: [PATCH] Fix file extension in navbar-marketing.pug

---
 scripts/extract_files.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/extract_files.sh b/scripts/extract_files.sh
index be90e84..17c8b8f 100644
--- a/scripts/extract_files.sh
+++ b/scripts/extract_files.sh
@@ -23,7 +23,7 @@ FILENAMES=(
     "settings.pug"
     "login.pug"
     "navbar.pug"
-    "navbar-marketing"
+    "navbar-marketing.pug"
     "admin-index.pug"
     "admin-sysadmin.pug"
 )