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

{}

\n