Docs: Replace job name with env param JOB_NAME

build-docs.jpl could be invoked by two jobs:
    tf-m-build-docs
    tf-m-build-docs-nightly
Env param is needed to replace the hardcoded job name to differ jobs.

Signed-off-by: Xinyu Zhang <xinyu.zhang@arm.com>
Change-Id: Ieb09c7681aebb194943f75588ec690421ab7791d
diff --git a/jenkins/build-docs.jpl b/jenkins/build-docs.jpl
index f44d2c4..9d108dd 100644
--- a/jenkins/build-docs.jpl
+++ b/jenkins/build-docs.jpl
@@ -85,7 +85,7 @@
       verify = -1
     } finally {
       g = new Gerrit()
-      g.verifyStatusInWorkspace(verify, 'tf-m-build-docs', 'build')
+      g.verifyStatusInWorkspace(verify, "$JOB_NAME", 'build')
       def buildStatus = (verify == 1) ? 'Successful' : 'Failed'
       //g.commentInWorkspace("Build docs ${buildStatus}: ${env.RUN_DISPLAY_URL}")
       cleanWs()
@@ -93,8 +93,8 @@
   }
   node("master") {
     sh """
-    cp -a /var/jenkins_home/jobs/tf-m-build-docs/builds/$BUILD_NUMBER/archive/trusted-firmware-m/build/docs/reference_manual /var/jenkins_home/docs/
-    cp -a /var/jenkins_home/jobs/tf-m-build-docs/builds/$BUILD_NUMBER/archive/trusted-firmware-m/build/docs/user_guide /var/jenkins_home/docs/
+    cp -a /var/jenkins_home/jobs/$JOB_NAME/builds/$BUILD_NUMBER/archive/trusted-firmware-m/build/docs/reference_manual /var/jenkins_home/docs/
+    cp -a /var/jenkins_home/jobs/$JOB_NAME/builds/$BUILD_NUMBER/archive/trusted-firmware-m/build/docs/user_guide /var/jenkins_home/docs/
     """
   }
 }