From 0a2e3ad78bc4b70ca015fa7555661481af1751f7 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 20 Nov 2013 07:59:35 -0700 Subject: [PATCH] raco setup: quieter output on a build step for user-scope docs --- pkgs/racket-pkgs/racket-index/setup/scribble.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/racket-pkgs/racket-index/setup/scribble.rkt b/pkgs/racket-pkgs/racket-index/setup/scribble.rkt index c6df823c04..8c7d9eb8c4 100644 --- a/pkgs/racket-pkgs/racket-index/setup/scribble.rkt +++ b/pkgs/racket-pkgs/racket-index/setup/scribble.rkt @@ -1148,7 +1148,8 @@ shared-empty-script-files))]) (define dest (build-path dest-dir f)) (unless (file-exists? dest) - (setup-printf "installing" "~a" dest) + (when (or (verbose) main?) + (setup-printf "installing" "~a" dest)) (make-directory* dest-dir) (call-with-output-file* dest void))) (hash-set! done dir #t)))