diff options
Diffstat (limited to 'release')
| -rw-r--r-- | release/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release/build.xml b/release/build.xml index d4d18972c..a75cfb010 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}/documentation" /> + <property name="docs.dir" value="${ui.dir}/demos/documentation" /> <delete dir="${docs.dir}" /> <mkdir dir="${docs.dir}" /> <xslt includes="docs-*.xml" destdir="${docs.dir}" style="build/style.xsl" /> |