diff options
author | Thomas Voss <mail@thomasvoss.com> | 2023-06-10 16:13:13 +0200 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2023-06-10 16:13:13 +0200 |
commit | b12f4918c00084056165d2a78829cbab38773584 (patch) | |
tree | 08c94935b9d0e92464d404031da286981df6ccba /build | |
parent | 44b8abe7fb94b4e261143dfddb80e7ce41884e4b (diff) |
Fix build script lol
Diffstat (limited to 'build')
-rwxr-xr-x | build | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -414,4 +414,4 @@ wait find out -name '*.html' -and -not -name 'index.html' -delete rm data/tmp-data.?? -cp -r out done +cp -r out/* done |