diff --git a/collects/setup/setup-unit.rkt b/collects/setup/setup-unit.rkt
index 45b765e478..b8c9203b18 100644
--- a/collects/setup/setup-unit.rkt
+++ b/collects/setup/setup-unit.rkt
@@ -724,7 +724,7 @@
                                      (archive-implies-reindex)))))
 
   (define (doc-pdf-dest-step)
-    (setup-printf #f "building PDF documentation (via pdflatex)")
+    (setup-printf #f "--- building PDF documentation (via pdflatex) ---")
     (let ([dest-dir (path->complete-path (doc-pdf-dest))])
       (unless (directory-exists? dest-dir)
         (make-directory dest-dir))