[releng] Fix generation of Javadoc
diff --git a/releng/org.eclipse.ocl.releng.buckminster/buckminster.cspec b/releng/org.eclipse.ocl.releng.buckminster/buckminster.cspec
index 3c81486..2c41e5c 100644
--- a/releng/org.eclipse.ocl.releng.buckminster/buckminster.cspec
+++ b/releng/org.eclipse.ocl.releng.buckminster/buckminster.cspec
@@ -9,7 +9,7 @@
<cs:properties>
<cs:property key="checkoutLocation" value="${checkout.location}"/>
<cs:property key="mustCreateJavadoc" value="${manage.javadoc}"/>
- <cs:property key="output" value="${checkout.location}/javadoc/"/>
+ <cs:property key="output" value="${checkout.location}/buildroot/javadoc/"/>
<cs:property key="targetPlatform" value="${targetPlatformPath}"/>
</cs:properties>
</cs:public>
diff --git a/releng/org.eclipse.ocl.releng.buckminster/scripts/ocl-post-buckminster.sh b/releng/org.eclipse.ocl.releng.buckminster/scripts/ocl-post-buckminster.sh
index 0330a60..683ddaa 100644
--- a/releng/org.eclipse.ocl.releng.buckminster/scripts/ocl-post-buckminster.sh
+++ b/releng/org.eclipse.ocl.releng.buckminster/scripts/ocl-post-buckminster.sh
@@ -18,8 +18,8 @@
if [ ${MANAGE_JAVADOC} = "true" ]
then
mkdir MDT-OCL.javadoc
- mv buildroot/buckminster.output/org.eclipse.ocl.releng.buckminster_*-buckminster/javadoc/MDT-OCL-javadoc.zip MDT-OCL.javadoc/MDT-OCL-javadoc.zip
- rm -rf buildroot/buckminster.output/org.eclipse.ocl.releng.buckminster_*-buckminster/javadoc
+ mv buildroot/javadoc/MDT-OCL-javadoc.zip MDT-OCL.javadoc/MDT-OCL-javadoc.zip
+# rm -rf buildroot/javadoc
fi
echo MANAGE_DOC = ${MANAGE_DOC}