src/Pure/Thy/present.scala
changeset 68704 71aa5a9128c2
parent 68132 2a5ae592eafb
child 69033 c5db368833b1
--- 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
   }