From d23f1c50e3c51c556fffd01f8cd473a889f38321 Mon Sep 17 00:00:00 2001 From: Florian Fischer Date: Wed, 4 Mar 2026 11:25:23 +0100 Subject: always export the scratch project if it is not exported yet --- generate-gallery.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/generate-gallery.py b/generate-gallery.py index 6fcdfa7..4daacad 100755 --- a/generate-gallery.py +++ b/generate-gallery.py @@ -131,7 +131,7 @@ def package_projects(_indir: str, _outdir: str, all_projects: dict): project['Datei'] = 'demo_output.html' # Skip packaging if the result is newer than the input - if os.path.getmtime(infile) < os.path.getmtime(projectoutdir / 'demo_output.html'): + if os.path.exists(projectoutdir / 'demo_output.html') and os.path.getmtime(infile) < os.path.getmtime(projectoutdir / 'demo_output.html'): continue cmd = _cmd.format(infile='..' / infile, outdir='..' / projectoutdir) -- cgit v1.2.3