commit 99612fbdafde1a71f5682ebb980bdebb23182c6c
author Ed Willink <ed@willink.me.uk> Mon Jun 01 20:12:39 2020 +0100
committer Ed Willink <ed@willink.me.uk> Mon Jun 01 20:13:16 2020 +0100
tree 1d74ee93a7143a04346b05262f033d836afef9f6
parent a154d3f26f564c982feb1fe643f11407201bfcd8

[releng] Fix PDF publish

releng/org.eclipse.ocl.releng.build-site/downloads.sh

diff --git a/releng/org.eclipse.ocl.releng.build-site/downloads.sh b/releng/org.eclipse.ocl.releng.build-site/downloads.sh
index 9560934..65cdb86 100644
--- a/releng/org.eclipse.ocl.releng.build-site/downloads.sh
+++ b/releng/org.eclipse.ocl.releng.build-site/downloads.sh
@@ -91,11 +91,11 @@
     fi
   popd
   
-  if [ ! -d "${pdfdocFolder}" ]
+  if [ ! -d "${pdfdocFolder}/${PUBLISH__VERSION}" ]
   then
-    mkdir ${pdfdocFolder}
+    mkdir -p ${pdfdocFolder}/${PUBLISH__VERSION}
   fi
-  pushd ${pdfdocFolder}
+  pushd ${pdfdocFolder}/${PUBLISH__VERSION}
     cp ~/pdfdoc.zip new${pdfName}
     if [ $? -eq 0 ]
     then