move the redex scrbl files into a scribblings subcollection and adjust timeouts

This commit is contained in:
Robby Findler 2012-02-29 07:09:50 -06:00
parent a5457da411
commit a23f6dbca2
5 changed files with 4 additions and 3 deletions

View File

@ -1231,7 +1231,8 @@ path/s is either such a string or a list of them.
"collects/redex/private/size-snip.rkt" drdr:command-line (gracket-text "-t" *)
"collects/redex/private/stepper.rkt" drdr:command-line (gracket-text "-t" *)
"collects/redex/private/traces.rkt" drdr:command-line (gracket-text "-t" *)
"collects/redex/private/tut.scrbl" drdr:timeout 300
"collects/redex/scribblings/tut.scrbl" drdr:timeout 300
"collects/redex/redex.scrbl" drdr:timeout 300
"collects/redex/tests/bitmap-test-util.rkt" drdr:command-line (gracket-text "-t" *)
"collects/redex/tests/bitmap-test.rkt" drdr:command-line (mzc "-k" *)
"collects/redex/tests/check-syntax-test.rkt" drdr:command-line (mzc *)

View File

@ -19,8 +19,8 @@ and the @tt{examples} subdirectory in the @tt{redex} collection.
@table-of-contents[]
@include-section["private/tut.scrbl"]
@include-section["private/ref.scrbl"]
@include-section["scribblings/tut.scrbl"]
@include-section["scribblings/ref.scrbl"]
@index-section[]