From 46cd9678599a93f122dcf6ccfe25539813d4f2b0 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 28 May 2008 17:44:52 +0000 Subject: [PATCH] doc phase output like .zo phase svn: r10003 --- collects/setup/scribble.ss | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/collects/setup/scribble.ss b/collects/setup/scribble.ss index 7e42d1852a..5a8d29d7b1 100644 --- a/collects/setup/scribble.ss +++ b/collects/setup/scribble.ss @@ -333,9 +333,9 @@ (memq 'depends-all-main (doc-flags doc))) (and auto-user? (memq 'depends-all (doc-flags doc)))))]) - (printf " [~a ~a]\n" - (cond [up-to-date? "Using"] [can-run? "Running"] [else "Skipping"]) - (path->name (doc-src-file doc))) + (printf "setup-plt: ~a: ~a\n" + (path->name (doc-src-file doc)) + (cond [up-to-date? "using"] [can-run? "running"] [else "skipping"])) (if up-to-date? ;; Load previously calculated info: (with-handlers ([exn:fail? (lambda (exn) @@ -442,8 +442,9 @@ (define (build-again! latex-dest info with-record-error) (define doc (info-doc info)) (define renderer (make-renderer latex-dest doc)) - (printf " [R~aendering ~a]\n" (if (info-rendered? info) "e-r" "") - (path->name (doc-src-file doc))) + (printf "setup-plt: ~a: ~arendering\n" + (path->name (doc-src-file doc)) + (if (info-rendered? info) "re-" "")) (set-info-rendered?! info #t) (with-record-error (doc-src-file doc)