diff -r 30e863ad5a1a -r 85784e16bec8 src/Pure/Thy/present.scala
--- a/src/Pure/Thy/present.scala	Thu Dec 14 14:34:56 2017 +0100
+++ b/src/Pure/Thy/present.scala	Thu Dec 14 21:09:41 2017 +0100
@@ -208,7 +208,8 @@
     /* result */
 
     if (!result.ok) {
-      cat_error(cat_lines(Latex.latex_errors(dir, root_name)),
+      cat_error(
+        cat_lines(Latex.latex_errors(dir, root_name) ::: Bibtex.bibtex_errors(dir, root_name)),
         "Failed to build document in " + File.path(dir.absolute_file))
     }