src/Pure/Thy/presentation.scala

--- a/src/Pure/Thy/presentation.scala	Thu Nov 19 21:12:35 2020 +0100
+++ b/src/Pure/Thy/presentation.scala	Thu Nov 19 21:23:12 2020 +0100
@@ -511,7 +511,7 @@
     for (dir <- doc_output; (doc, pdf) <- documents) {
       val path = dir + doc.path.pdf
       Bytes.write(path, pdf)
-      progress.echo_document(path)
+      progress.echo_document("Document at " + path.absolute)
     }
 
     documents