From 0ba805a2292f3f36785cf220cfb301fd091eebba Mon Sep 17 00:00:00 2001
From: Ben Soares <bsoares@dundee.ac.uk>
Date: Mon, 10 Jun 2019 14:39:20 +0100
Subject: [PATCH] JAL-3248 added conversion of building.md to building.html to
 gradle task. Will happen before making jar if pandoc
 available

---
 build.gradle      |   29 +++++++++++++++++++++++++++++
 doc/building.html |    2 +-
 gradle.properties |    1 +
 3 files changed, 31 insertions(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index e143b80..3e5901b 100644
--- a/build.gradle
+++ b/build.gradle
@@ -455,7 +455,36 @@ task createBuildProperties(type: WriteProperties) {
   outputs.dir("$classes")
 }
 
+def buildingHTML = "$jalviewDir/$docDir/building.html"
+task deleteBuildingHTML(type: Delete) {
+  delete buildingHTML
+}
+
+task convertBuildingMD(type: Exec) {
+  dependsOn deleteBuildingHTML
+  def buildingMD = "$jalviewDir/$docDir/building.md"
+  def css = "$jalviewDir/$docDir/github.css"
+
+  def pandoc = pandoc_exec
+  if (! file(pandoc).exists() && hostname.equals("jv-bamboo")) {
+    pandoc = System.getProperty("user.home")+"/buildtools/pandoc/bin/pandoc"
+  }
+
+  if (file(pandoc).exists()) {
+    commandLine pandoc, '-s', '-o', buildingHTML, '--metadata', 'pagetitle="Building Jalview from Source"', '--toc', '-H', css, buildingMD
+  }
+  ignoreExitValue true
+
+  inputs.file(buildingMD)
+  inputs.file(css)
+  outputs.file(buildingHTML)
+}
+clean {
+  delete buildingHTML
+}
+
 task syncDocs(type: Sync) {
+  dependsOn convertBuildingMD
   def syncDir = "$classes/$docDir"
   from fileTree("$jalviewDir/$docDir")
   into syncDir
diff --git a/doc/building.html b/doc/building.html
index 615f8ba..7669d30 100644
--- a/doc/building.html
+++ b/doc/building.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" />
   <meta name="generator" content="pandoc" />
   <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" />
-  <title>Building Jalview from Source</title>
+  <title>"Building Jalview from Source"</title>
   <style>
       code{white-space: pre-wrap;}
       span.smallcaps{font-variant: small-caps;}
diff --git a/gradle.properties b/gradle.properties
index 57119cb..1189f12 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -111,5 +111,6 @@ JSIGN_SH = echo
 
 eclipse_extra_jdt_prefs_file = .settings/org.eclipse.jdt.core.jalview.prefs
 
+pandoc_exec = /usr/local/bin/pandoc
 dev = false
 
-- 
1.7.10.2