From 8b1a034276b6500eb82108825afb4f68aaadb35e Mon Sep 17 00:00:00 2001
From: Paul Bakaus <paul.bakaus@googlemail.com>
Date: Sat, 17 Jan 2009 15:01:08 +0000
Subject: documentation: should be generated in /documentation, not
 /demos/documentation

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

(limited to 'release')

diff --git a/release/build.xml b/release/build.xml
index 50960735f..9fe67ec5e 100644
--- a/release/build.xml
+++ b/release/build.xml
@@ -234,7 +234,7 @@
 	</target>
 			
 	<target name="docs-process" depends="docs-download">
-		<property name="docs.dir" value="${ui.dir}/demos/documentation" />
+		<property name="docs.dir" value="${ui.dir}/documentation" />
 		<delete dir="${docs.dir}" />
 		<mkdir dir="${docs.dir}" />
 		<xslt includes="docs-*.xml" destdir="${docs.dir}" style="build/style.xsl" />
-- 
cgit v1.2.3