build file fiddling

2026-06-05 23:10:17 +00:00 · 2009-05-06 23:46:00 -04:00
parent 713846756b
commit 0f49d3a1e3
1 changed files with 1 additions and 1 deletions
@@ -4,7 +4,7 @@
 rm -rf build
 mkdir build
 cp robots.txt *.js *.css build/
-rm examples/*.pyc
+rm -f examples/*.pyc
 cp -R examples build/

 # minimize HTML (note: this script is quite fragile and relies on knowledge of how I write HTML)