src/Pure/Thy/present.scala
changeset 68704 71aa5a9128c2
parent 68132 2a5ae592eafb
child 69033 c5db368833b1
equal deleted inserted replaced
68703:2e31887d9664 68704:71aa5a9128c2
   275         Library.trim_line(result.err),
   275         Library.trim_line(result.err),
   276         cat_lines(Latex.latex_errors(dir, root_name) ::: Bibtex.bibtex_errors(dir, root_name)),
   276         cat_lines(Latex.latex_errors(dir, root_name) ::: Bibtex.bibtex_errors(dir, root_name)),
   277         "Failed to build document in " + File.path(dir.absolute_file))
   277         "Failed to build document in " + File.path(dir.absolute_file))
   278     }
   278     }
   279 
   279 
   280     bash("[ -f " + root_bash(document_format) + " ] && cp -f " +
   280     bash("if [ -f " + root_bash(document_format) + " ]; then cp -f " +
   281       root_bash(document_format) + " " + File.bash_path(document_target)).check
   281       root_bash(document_format) + " " + File.bash_path(document_target) + "; fi").check
   282   }
   282   }
   283 
   283 
   284 
   284 
   285   /* Isabelle tool wrapper */
   285   /* Isabelle tool wrapper */
   286 
   286