commit a784bb90d73bf8bd73e6052ff0b67a0083aa241a
author Ed Willink <ed@willink.me.uk> Mon Jun 11 11:42:54 2018 +0100
committer Ed Willink <ed@willink.me.uk> Mon Jun 11 11:43:47 2018 +0100
tree c72651a4092c7e289bda95e76af8af784cd9a8f1
parent 61c9961443d6e8e9c21b3fb4bf9a703ebf4e8d1d

[releng] ocl.pdf does not need unzipping

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 81b0e61..d4abb85 100644
--- a/releng/org.eclipse.ocl.releng.build-site/downloads.sh
+++ b/releng/org.eclipse.ocl.releng.build-site/downloads.sh
@@ -92,10 +92,8 @@
       pdfSize=$(wc -c <"new${pdfName}")
       if [ ${pdfSize} -ge 100000 ]						# A small (423 byte) file is an HTTP 404 message
       then
-        unzip -ou ${localZip} -d new${PUBLISH__VERSION}
-        chgrp -R ${group} new${PUBLISH__VERSION}
-        chmod -R g+w new${PUBLISH__VERSION}
-        rm -rf ${localZip}
+        chgrp -R ${group} new${pdfName}
+        chmod -R g+w new${pdfName}
         if [ -f "${pdfName}" ]
         then
           mv ${pdfName} old${pdfName}