From 4923e2099417520e1b051fd585dff92bd4a7cfff Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 24 Aug 2011 10:49:38 -0500 Subject: [PATCH] clarify precise semantics of 'raco setup -D' --- collects/setup/setup-cmdline.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/setup/setup-cmdline.rkt b/collects/setup/setup-cmdline.rkt index 4c669d0f37..0ebdfc84fe 100644 --- a/collects/setup/setup-cmdline.rkt +++ b/collects/setup/setup-cmdline.rkt @@ -52,7 +52,7 @@ (add-flags '((call-post-install #f)))] [("-d" "--no-info-domain") "Do not produce info-domain caches" (add-flags '((make-info-domain #f)))] - [("-D" "--no-docs") "Do not produce documentation" + [("-D" "--no-docs") "Do not compile .scrbl files and do not build documentation" (add-flags '((make-docs #f)))] [("-U" "--no-user") "Do not setup user-specific collections (implies --no-planet)" (add-flags '((make-user #f) (make-planet #f)))]