equal
deleted
inserted
replaced
270 |
270 |
271 /* result */ |
271 /* result */ |
272 |
272 |
273 if (!result.ok) { |
273 if (!result.ok) { |
274 cat_error( |
274 cat_error( |
|
275 Library.trim_line(result.err), |
275 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)), |
276 "Failed to build document in " + File.path(dir.absolute_file)) |
277 "Failed to build document in " + File.path(dir.absolute_file)) |
277 } |
278 } |
278 |
279 |
279 bash("[ -f " + root_bash(document_format) + " ] && cp -f " + |
280 bash("[ -f " + root_bash(document_format) + " ] && cp -f " + |