From 0f49d3a1e35cf82bd8b7f6839a83adb39ff097de Mon Sep 17 00:00:00 2001 From: Mark Pilgrim Date: Wed, 6 May 2009 23:46:00 -0400 Subject: [PATCH] build file fiddling --- publish | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/publish b/publish index bc24aa5..bc41444 100755 --- a/publish +++ b/publish @@ -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)