From 5faa598ff18a01035b4e20dc1edaef8a4f1ed0a3 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 26 Sep 2011 06:30:47 -0600 Subject: [PATCH] fix `scribble -h' output original commit: 8711feae2d7109348352687721cd3960f7d80947 --- collects/scribble/run.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/scribble/run.rkt b/collects/scribble/run.rkt index 23475084..2e79e549 100644 --- a/collects/scribble/run.rkt +++ b/collects/scribble/run.rkt @@ -38,9 +38,7 @@ (command-line #:program (short-program+command-name) #:once-any - [("--text") "generate text-format output (the default)" - (current-render-mixin text:render-mixin)] - [("--html") "generate HTML-format output file" + [("--html") "generate HTML-format output file (the default)" (current-render-mixin html:render-mixin)] [("--htmls") "generate HTML-format output directory" (current-render-mixin multi-html:render-mixin)] @@ -53,6 +51,8 @@ (unless (exact-nonnegative-integer? v) (raise-user-error 'scribble (format "bad section depth: ~a" n))) (current-render-mixin (latex:make-render-part-mixin v)))] + [("--text") "generate text-format output" + (current-render-mixin text:render-mixin)] #:once-each [("--dest") dir "write output in " (current-dest-directory dir)]