From a23f6dbca25d7de45d1a4c5b07a3495637fe31e5 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 29 Feb 2012 07:09:50 -0600 Subject: [PATCH] move the redex scrbl files into a scribblings subcollection and adjust timeouts --- collects/meta/props | 3 ++- collects/redex/redex.scrbl | 4 ++-- collects/redex/{private => scribblings}/ref.scrbl | 0 collects/redex/{private => scribblings}/tut-util.rkt | 0 collects/redex/{private => scribblings}/tut.scrbl | 0 5 files changed, 4 insertions(+), 3 deletions(-) rename collects/redex/{private => scribblings}/ref.scrbl (100%) rename collects/redex/{private => scribblings}/tut-util.rkt (100%) rename collects/redex/{private => scribblings}/tut.scrbl (100%) diff --git a/collects/meta/props b/collects/meta/props index b4cc317e7b..83b0cd85d6 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -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 *) diff --git a/collects/redex/redex.scrbl b/collects/redex/redex.scrbl index a35c417d71..50a254cfe5 100644 --- a/collects/redex/redex.scrbl +++ b/collects/redex/redex.scrbl @@ -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[] diff --git a/collects/redex/private/ref.scrbl b/collects/redex/scribblings/ref.scrbl similarity index 100% rename from collects/redex/private/ref.scrbl rename to collects/redex/scribblings/ref.scrbl diff --git a/collects/redex/private/tut-util.rkt b/collects/redex/scribblings/tut-util.rkt similarity index 100% rename from collects/redex/private/tut-util.rkt rename to collects/redex/scribblings/tut-util.rkt diff --git a/collects/redex/private/tut.scrbl b/collects/redex/scribblings/tut.scrbl similarity index 100% rename from collects/redex/private/tut.scrbl rename to collects/redex/scribblings/tut.scrbl