From a4d440a5e9b7d87b99ce8450374e7174c86f6d65 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Mon, 12 Nov 2012 07:41:06 -0600
Subject: [PATCH] fix redex docs and disable running test-docs-complete.rkt
 directly in drdr (it runs already via run-tests.rkt)

---
 collects/meta/props                  |  1 +
 collects/redex/scribblings/ref.scrbl | 16 ++++++++--------
 2 files changed, 9 insertions(+), 8 deletions(-)

diff --git a/collects/meta/props b/collects/meta/props
index e320ba3863..65fd51ced0 100755
--- a/collects/meta/props
+++ b/collects/meta/props
@@ -938,6 +938,7 @@ path/s is either such a string or a list of them.
 "collects/redex/tests/run-tests.rkt" drdr:command-line (racket * "--examples" "--no-bitmap-gui") drdr:timeout 360
 "collects/redex/tests/stepper-test.rkt" drdr:command-line (mzc *)
 "collects/redex/tests/term-test.rkt" drdr:command-line (mzc *)
+"collects/redex/tests/test-docs-complete.rkt" drdr:command-line (raco "make" *)
 "collects/redex/tests/tl-test.rkt" drdr:command-line (mzc *)
 "collects/repo-time-stamp" responsible (eli)
 "collects/rnrs" responsible (mflatt)
diff --git a/collects/redex/scribblings/ref.scrbl b/collects/redex/scribblings/ref.scrbl
index db6e30ebc8..cb1f4fb172 100644
--- a/collects/redex/scribblings/ref.scrbl
+++ b/collects/redex/scribblings/ref.scrbl
@@ -2178,14 +2178,14 @@ seeds it with the reduction-sequence supplied in @racket[seed].
   as an index into @racket[derivations].
 }
 
-@defproc[(derivations/ps [derivation derivation?]
-                         [filename path-string?]
-                         [#:pp pp
-                               (or/c (any -> string)
-                                     (any output-port number (is-a?/c text%) -> void))
-                               default-pretty-printer]
-                         [#:racket-colors? racket-colors? boolean? #f]
-                         [#:post-process post-process (-> (is-a?/c pasteboard%) any)])
+@defproc[(derivation/ps [derivation derivation?]
+                        [filename path-string?]
+                        [#:pp pp
+                              (or/c (any -> string)
+                                    (any output-port number (is-a?/c text%) -> void))
+                              default-pretty-printer]
+                        [#:racket-colors? racket-colors? boolean? #f]
+                        [#:post-process post-process (-> (is-a?/c pasteboard%) any)])
          void?]{
                 
   Like @racket[show-derivations], except it prints a single