src/Pure/Thy/present.ML

--- a/src/Pure/Thy/present.ML	Sun Dec 10 20:31:14 2017 +0100
+++ b/src/Pure/Thy/present.ML	Sun Dec 10 20:50:09 2017 +0100
@@ -196,10 +196,10 @@
     val doc_path = Path.appends [dir, Path.parent, Path.basic name |> Path.ext format];
     val _ = if verbose then writeln script else ();
     val {out, err, rc, ...} = Bash.process script;
-    val _ = if verbose then writeln (normalize_lines out) else ();
+    val _ = if verbose then writeln (trim_line (normalize_lines out)) else ();
     val _ =
       if not (File.exists doc_path) orelse rc <> 0 then
-        cat_error err ("Failed to build document " ^ quote (show_path doc_path))
+        cat_error (trim_line err) ("Failed to build document " ^ quote (show_path doc_path))
       else ();
     val _ = if purge andalso rc = 0 then Isabelle_System.rm_tree dir else ();
   in doc_path end;