From 4d99a2909f440dbabd557eaa0635fb25416adb5c Mon Sep 17 00:00:00 2001
From: Ben Soares <bsoares@dundee.ac.uk>
Date: Mon, 10 Jun 2019 15:15:29 +0100
Subject: [PATCH] JAL-3248 quick fix for build.gradle when pandoc not
 available

---
 build.gradle |    4 ++++
 1 file changed, 4 insertions(+)

diff --git a/build.gradle b/build.gradle
index 3e5901b..9fbcd38 100644
--- a/build.gradle
+++ b/build.gradle
@@ -466,13 +466,17 @@ task convertBuildingMD(type: Exec) {
   def css = "$jalviewDir/$docDir/github.css"
 
   def pandoc = pandoc_exec
+  def hostname = "hostname".execute().text.trim()
   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
+  } else {
+    commandLine "true"
   }
+
   ignoreExitValue true
 
   inputs.file(buildingMD)
-- 
1.7.10.2