From ca73cf71961b84e55e482e90e1b05d4e6a1a2632 Mon Sep 17 00:00:00 2001
From: Artur Signell <artur@vaadin.com>
Date: Thu, 6 Sep 2012 21:57:00 +0300
Subject: [PATCH] Fixed output directory

---
 build/ide.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/ide.xml b/build/ide.xml
index 784be9c05c..30c78e31c7 100755
--- a/build/ide.xml
+++ b/build/ide.xml
@@ -56,7 +56,7 @@
 	</target>
 	<target name="default-widgetset">
 		<property name="module" value="com.vaadin.DefaultWidgetSet" />
-		<property name="module.output.dir" location="../WebContent/VAADIN/widgetset" />
+		<property name="module.output.dir" location="WebContent/VAADIN/widgetsets" />
 		<property name="style" value="PRETTY" />
 		<property name="localWorkers" value="2" />
 		<property name="extraParams" value="" />
-- 
2.39.5