diff options
Diffstat (limited to 'build')
| -rwxr-xr-x | build/ide.xml | 2 |
1 files changed, 1 insertions, 1 deletions
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="" /> |