From 97ba7709d887fa61c6c0269b778d45fdbfaed52e Mon Sep 17 00:00:00 2001
From: OniriCorpe <oniricorpe@disroot.org>
Date: Sat, 12 Mar 2022 01:32:45 +0100
Subject: [PATCH] ajout support d'autres noms que "index.gmi" (le .html sortant
 aura le meme nom que le fichier .gmi)

---
 genlog.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/genlog.sh b/genlog.sh
index 025d5ef..f874d00 100644
--- a/genlog.sh
+++ b/genlog.sh
@@ -23,9 +23,11 @@ do
 
     # on récupère juste le path du dossier qui contient le .gmi
     path=$(dirname $gmi_file)
+    # on récupère juste le nom du fichier .gmi sans son extenstion ".gmi"
+    filename=$(basename $gmi_file .gmi)
 
     # on assemble les 3 morceaux et on l'écrit dans le dossier du .gmi qui est traité
-    cat "${PWD}"/temp/header.html "${PWD}"/temp/body.html "${PWD}"/temp/footer.html > $path/index.html
+    cat "${PWD}"/temp/header.html "${PWD}"/temp/body.html "${PWD}"/temp/footer.html > $path/$filename.html
 
     # on nettoie le dossier de taff
     rm "${PWD}"/temp/*