From 7bdfc1924a9bcde362eae78f5252ce126e5b43f2 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 10 Oct 2012 09:23:12 -0600 Subject: [PATCH] raco setup: improve description of `--doc-pdf' Merge to v5.3.1 (cherry picked from commit a150140684931c97bbb7ed7d313750abcf54d69d) --- 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 0ebdfc84fe..98e677a242 100644 --- a/collects/setup/setup-cmdline.rkt +++ b/collects/setup/setup-cmdline.rkt @@ -77,7 +77,7 @@ (add-flags '((all-users #t)))] [("--mode") mode "Select a compilation mode" (add-flags `((compile-mode ,mode)))] - [("--doc-pdf") dir "Write doc PDF to " + [("--doc-pdf") dir "Build doc PDFs, write to " (add-flags `((doc-pdf-dest ,dir)))] [("-l") => (lambda (flag . collections) (check-collections short-name collections)