diff options
| author | Florian Fischer <florian.fischer@muhq.space> | 2026-03-04 11:25:23 +0100 |
|---|---|---|
| committer | Florian Fischer <florian.fischer@muhq.space> | 2026-03-04 11:25:23 +0100 |
| commit | d23f1c50e3c51c556fffd01f8cd473a889f38321 (patch) | |
| tree | b1b5e6cc29b18674009f651d9114d4a0e8a38ffc | |
| parent | 19bc8b54808ea1a5b1290e575848788614498a2f (diff) | |
| download | scratch-gallery-d23f1c50e3c51c556fffd01f8cd473a889f38321.tar.gz scratch-gallery-d23f1c50e3c51c556fffd01f8cd473a889f38321.zip | |
always export the scratch project if it is not exported yet
| -rwxr-xr-x | generate-gallery.py | 2 |
1 files changed, 1 insertions, 1 deletions
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) |