Merge branch 'develop' of https://source.jalview.org/git/jalview into develop

[jalview.git] / gradle.properties

diff --git a/gradle.properties b/gradle.properties
index f5c6f49..08bcbd7 100644 (file)
--- a/gradle.properties
+++ b/gradle.properties
@@ -109,6 +109,6 @@ JSIGN_SH = echo
 
 eclipse_extra_jdt_prefs_file = .settings/org.eclipse.jdt.core.jalview.prefs
 
-pandoc_exec = /usr/local/bin/pandoc
+pandoc_exec = /usr/local/bin/pandoc,/usr/bin/pandoc
 dev = false