Copy docs to webroot

Jenkinsfile

@@ -64,6 +64,19 @@ pipeline {
             }
         }
         stage('Deploy Docs') {
+            agent {
+                label 'esbods'
+            }
+            steps {
+                // unstash build results from previous stage
+                unstash 'html'
+                // remove old files
+                sh 'rm -rf /var/www/html/esboetcdocs/*'
+                // copy new files
+                sh 'cp -rf docs/build/html /var/www/html/esboetcdocs/'
+            }
+        }
+        stage('Deploy Docs Lunjaserv') {
             agent {
                 label 'lunjaserv'
             }