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

[jalview.git] / gradle.properties

diff --git a/gradle.properties b/gradle.properties
index 57119cb..1189f12 100644 (file)
--- 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