# HG changeset patch
# User wenzelm
# Date 1605178013 -3600
# Node ID c806eeb9138ccabedb5e15a77e019e1b7631d9c2
# Parent  e00089ddf462a4e296b877b86a95413eba3c86b2
clarified messages;

diff -r e00089ddf462 -r c806eeb9138c src/Pure/Thy/present.scala
--- a/src/Pure/Thy/present.scala	Thu Nov 12 11:43:07 2020 +0100
+++ b/src/Pure/Thy/present.scala	Thu Nov 12 11:46:53 2020 +0100
@@ -315,21 +315,21 @@
         })
       }
 
-    def output(echo: Boolean, dir: Path)
+    def output(dir: Path)
     {
       Isabelle_System.make_directory(dir)
       for ((name, pdf) <- docs) {
         val path = dir + Path.basic(name).pdf
         Bytes.write(path, pdf)
-        if (echo) progress.echo_document(path)
+        progress.echo_document(path)
       }
     }
 
     if (info.options.bool("browser_info") || doc_output.isEmpty) {
-      output(verbose, store.browser_info + Path.basic(info.chapter) + Path.basic(session))
+      output(store.browser_info + Path.basic(info.chapter) + Path.basic(session))
     }
 
-    doc_output.foreach(output(true, _))
+    doc_output.foreach(output)
 
     docs
   }