diff options
| -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) |