build-docs: publish documentation for vhost

For background see https://projects.linaro.org/browse/LSS-2257

This allows us publish the documentation as a separate VHOST
as plain html files, so we don't need to involve jenkins or
reverse proxies in distributuging docs.

Change-Id: Ie65474e9bb080b46fa55249de1d377214878b654
diff --git a/jenkins/build-docs.jpl b/jenkins/build-docs.jpl
index a559eb8..80d4a7f 100644
--- a/jenkins/build-docs.jpl
+++ b/jenkins/build-docs.jpl
@@ -91,4 +91,9 @@
       cleanWs()
     }
   }
+  node("master") {
+    sh """
+    cp -a /var/jenkins_home/jobs/tf-m-build-docs/builds/$BUILD_NUMBER/archive/trusted-firmware-m/build/docs/{reference_manual,user_guide} /var/jenkins_home/docs/
+    """
+  }
 }