diff --git a/collects/meta/dist-specs.ss b/collects/meta/dist-specs.ss index b55654f660..da8a2722ab 100644 --- a/collects/meta/dist-specs.ss +++ b/collects/meta/dist-specs.ss @@ -606,7 +606,8 @@ plt-extras :+= (package: "frtime/") ;; -------------------- typed-scheme dr-extras :+= (package: "typed-scheme/" ; used in drscheme #:docs "ts-{reference|guide}/") - (collects: "typed/") + (- (collects: "typed/") + (cond (not plt) => (collects: "typed/test-engine/"))) ;; -------------------- gui-debugger plt-extras :+= (collects: "gui-debugger/")