From 9347295c5bf27a916329ac7ff3abd5284ee413db Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 28 Apr 2010 06:14:02 -0600 Subject: [PATCH] fix raco setup PDF-rendering banner --- collects/setup/setup-unit.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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))