Fix file extension in navbar-marketing.pug

2023-12-09 17:33:37 +09:00 · 2023-12-09 17:33:37 +09:00 · d4c346c7f2
parent 2cf83a185c
commit d4c346c7f2
1 changed files with 1 additions and 1 deletions
--- 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"
 )