From d3e96251a8764de024859dcced7dfef66e86d90f Mon Sep 17 00:00:00 2001
From: Alex Stuart <alex.stuart@jisc.ac.uk>
Date: Tue, 22 Sep 2020 21:35:40 +0100
Subject: [PATCH] Add ant target to push generated HTML to website

See ukf/ukf-meta#258 for details
---
 build.xml | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/build.xml b/build.xml
index e48146f6..9d05f36e 100644
--- a/build.xml
+++ b/build.xml
@@ -2368,6 +2368,24 @@
         </if>
     </target>
 
+    <target name="publish.generated.html">
+        <!--
+            Push HTML files generated outwith production pipeline to the web server - but only when in prod env!
+        -->
+        <if>
+            <equals arg1="${env}" arg2="prod"/>
+                <then>
+                    <echo>Pushing HTML files to web site.</echo>
+                    <echo>-> Web1</echo>
+                    <scp failonerror="true" remoteTodir="${www.url.members}" keyfile="~/.ssh/id_rsa" knownhosts="~/.ssh/known_hosts">
+                        <fileset dir="${build.dir}">
+                            <include name="orgnamescope.html"/>
+                        </fileset>
+                    </scp>
+                </then>
+        </if>
+    </target>
+
 
     <!--
         *****************************************