diff --git a/jenkins/build-docs.jpl b/jenkins/build-docs.jpl
index 044dd45..bc284b2 100644
--- a/jenkins/build-docs.jpl
+++ b/jenkins/build-docs.jpl
@@ -43,17 +43,17 @@
       )
     }
     sh """
-# Host https://github.com/Arm-software/CMSIS_5/releases/download/5.5.0/ARM.CMSIS.5.5.0.pack
-# under \$JENKINS_HOME/userContent
-set +e
-wget -O cmsis.pack -q \${JENKINS_URL}/userContent/ARM.CMSIS.${CMSIS_VERSION}.pack
-if [ "\$?" != "0" ] ; then
-set -e
-wget -O cmsis.pack -q https://github.com/Arm-software/CMSIS_5/releases/download/${CMSIS_VERSION}/ARM.CMSIS.${CMSIS_VERSION}.pack
-fi
-set -e
-unzip -o -d CMSIS_5 cmsis.pack
-"""
+    # Host https://github.com/Arm-software/CMSIS_5/releases/download/5.5.0/ARM.CMSIS.5.5.0.pack
+    # under \$JENKINS_HOME/userContent
+    set +e
+    wget -O cmsis.pack -q \${JENKINS_URL}/userContent/ARM.CMSIS.${CMSIS_VERSION}.pack
+    if [ "\$?" != "0" ] ; then
+    set -e
+    wget -O cmsis.pack -q https://github.com/Arm-software/CMSIS_5/releases/download/${CMSIS_VERSION}/ARM.CMSIS.${CMSIS_VERSION}.pack
+    fi
+    set -e
+    unzip -o -d CMSIS_5 cmsis.pack
+    """
   }
   try {
     verify = 1