From b683c9bae175495e8e71ee290cac87eaa340fa50 Mon Sep 17 00:00:00 2001
From: ahocevar <andreas.hocevar@gmail.com>
Date: Sat, 14 Apr 2012 18:32:47 +0200
Subject: [PATCH] No csstidy, because it changes the css and breaks the zoom
 buttons.

---
 tools/update_dev_dir.sh | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/tools/update_dev_dir.sh b/tools/update_dev_dir.sh
index 9c272293fc..1bab6ab513 100755
--- a/tools/update_dev_dir.sh
+++ b/tools/update_dev_dir.sh
@@ -35,10 +35,6 @@ if [ ! o$GITREV = $OLD_GITREV ]; then
     cp OpenLayers.*.js ..
 
     cd ..
-    for i in google ie6-style style; do
-        csstidy theme/default/$i.css --template=highest theme/default/$i.tidy.css
-        cp theme/default/$i.tidy.css theme/default/$i.css
-    done
 
     sed -i -e 's!../lib/OpenLayers.js?mobile!../OpenLayers.mobile.js!' examples/*.html
     sed -i -e 's!../lib/OpenLayers.js!../OpenLayers.js!' examples/*.html