# HG changeset patch
# User wenzelm
# Date 1670248028 -3600
# Node ID 6dc213e7f6646654c32c74070762023972571e21
# Parent  c7f3e94fce7b48f0d7782d09e50ec44e046dfc7d
tuned message;

diff -r c7f3e94fce7b -r 6dc213e7f664 src/Pure/Tools/mkroot.scala
--- a/src/Pure/Tools/mkroot.scala	Mon Dec 05 12:17:56 2022 +0100
+++ b/src/Pure/Tools/mkroot.scala	Mon Dec 05 14:47:08 2022 +0100
@@ -41,7 +41,9 @@
     val root_tex = session_dir + Path.explode("document/root.tex")
 
 
-    progress.echo("\nCreating session " + quote(name) + " in " + session_dir.absolute)
+    progress.echo(
+      (if (quiet) "" else "\n") +
+      "Creating session " + quote(name) + " in " + session_dir.absolute)
 
 
     /* ROOT */