raco setup: improve description of `--doc-pdf'

Merge to v5.3.1
(cherry picked from commit a150140684)
This commit is contained in:
Matthew Flatt 2012-10-10 09:23:12 -06:00 committed by Ryan Culpepper
parent c5d2ebcc53
commit 7bdfc1924a

View File

@ -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 <dir>"
[("--doc-pdf") dir "Build doc PDFs, write to <dir>"
(add-flags `((doc-pdf-dest ,dir)))]
[("-l") => (lambda (flag . collections)
(check-collections short-name collections)