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