From 4069642f21bf2dcc307b5c8bd08158d8052587c5 Mon Sep 17 00:00:00 2001
From: jzaefferer <joern.zaefferer@gmail.com>
Date: Mon, 31 May 2010 15:23:30 +0200
Subject: [PATCH] Build: Download docs directly to dist folder

---
 build/build.xml | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/build/build.xml b/build/build.xml
index bc241dc78..864aea449 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -27,7 +27,7 @@
 	<property name="ui.dir" value="../" />
 	<property name="src.dir" value="${ui.dir}/ui/" />
 	<property name="theme.dir" value="${ui.dir}/themes/base/" />
-	<property name="docs.dir" value="${ui.dir}/docs/" />
+	<property name="docs.dir" value="${dist.dir}/docs/" />
 
 	<property name="min.dir" value="${dist.dir}/ui/minified" />
 
@@ -206,10 +206,6 @@
 			<fileset dir="${ui.dir}/tests/" />
 		</copy>
 
-		<copy overwrite="true" todir="${dist.dir}/docs/" >
-			<fileset dir="${ui.dir}/docs/" />
-		</copy>
-
 		<copy overwrite="true" todir="${dist.dir}/themes/" >
 			<fileset dir="${ui.dir}/themes/" />
 		</copy>
-- 
2.39.5