JAL-3248 quick fix for build.gradle when pandoc not available

diff --git a/build.gradle b/build.gradle
index 3e5901b..9fbcd38 100644 (file)
--- 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)