[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}