--- a/src/Pure/Thy/present.scala Sat Jul 28 19:55:14 2018 +0200
+++ b/src/Pure/Thy/present.scala Sat Jul 28 21:21:26 2018 +0200
@@ -277,8 +277,8 @@
"Failed to build document in " + File.path(dir.absolute_file))
}
- bash("[ -f " + root_bash(document_format) + " ] && cp -f " +
- root_bash(document_format) + " " + File.bash_path(document_target)).check
+ bash("if [ -f " + root_bash(document_format) + " ]; then cp -f " +
+ root_bash(document_format) + " " + File.bash_path(document_target) + "; fi").check
}