ci: better naming scheme for folders

2024-05-20 03:41:38 +01:00 · 2024-05-20 03:41:38 +01:00 · 8b96e27884
commit 8b96e27884
parent 2c87d9ae12
10 changed files with 18 additions and 16 deletions
--- a/_scripts/format_minutes.sh
+++ b/_scripts/format_minutes.sh
@ -2,8 +2,8 @@

 root="$PWD"

-folder_html="Minutes_html"
-folder_pdf="Minutes_pdf"
+folder_html="html_Minutes"
+folder_pdf="pdf_Minutes"

 # make teh html files first
 function build_html() {