From 2fe3d14c2752b8416cac5030ff6335b27991cc10 Mon Sep 17 00:00:00 2001
From: quenousimporte <quenousimporte@riseup.net>
Date: Mon, 2 Jun 2025 09:34:30 +0200
Subject: [PATCH] fix skip

---
 publish.py | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/publish.py b/publish.py
index bbef7f8..8310d4e 100644
--- a/publish.py
+++ b/publish.py
@@ -47,6 +47,10 @@ os.makedirs("out/gmi", exist_ok=True)
 
 for folderinfo in index['folders']:
 
+    if not os.path.exists(folderinfo['folder']):
+        print(f"Folder {folderinfo['folder']} does not exist, skipping.")
+        continue 
+
     sectiontitle = folderinfo['title']
 
     htmlhome += "\n<h2>{}</h2>\n<ul>".format(sectiontitle)
@@ -54,10 +58,6 @@ for folderinfo in index['folders']:
 
     for fileinfo in folderinfo['files']:
 
-        if not os.path.exists(folderinfo['folder']):
-            print(f"Folder {folderinfo['folder']} does not exist, skipping.")
-            continue
-
         filetitle = fileinfo['title']
         filename = fileinfo['file']
         fileroot, fileextension = os.path.splitext(filename)