diff --git a/buildconfig/Jenkins/buildscript b/buildconfig/Jenkins/buildscript index 4da6da7ba1c97d4fc6a1825b5950fec49b0163f9..342b1178b3aff95576bcfac462d0cb4383673674 100755 --- a/buildconfig/Jenkins/buildscript +++ b/buildconfig/Jenkins/buildscript @@ -254,11 +254,11 @@ if [[ "$BUILDPKG" == true ]]; then $SCL_ON_RHEL6 "cmake --build . --target docs-qthelp" $SCL_ON_RHEL6 "cpack" - # Source tarball on clean build (arbitrarily choose rhel6) + # Source tarball on clean build (arbitrarily choose rhel7) # Also, parcel up the documentation into a tar file that is easier to move around # and labelled by the commit id it was built with. This assumes the Jenkins git plugin # has set the GIT_COMMIT environment variable - if [[ "$CLEANBUILD" == true && "$ON_RHEL6" == true ]]; then + if [[ "$CLEANBUILD" == true && "$ON_RHEL7" == true ]]; then $SCL_ON_RHEL6 "cmake --build . --target docs-html" tar -cjf mantiddocs-g${GIT_COMMIT:0:7}.tar.bz2 --exclude='*.buildinfo' --exclude="MantidProject.q*" docs/html # The ..._PREFIX argument avoids opt/Mantid directories at the top of the tree