From e1c095e2fbea7743f1669b93ae193657710a6d9d Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sun, 4 Sep 2011 08:25:24 -0400 Subject: [PATCH] Update dist-specs for "typed-scheme" -> "typed-racket". --- collects/meta/dist-specs.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt index f2925f5953..556ba2ffd4 100644 --- a/collects/meta/dist-specs.rkt +++ b/collects/meta/dist-specs.rkt @@ -628,14 +628,14 @@ plt-extras :+= (collects: "texpict/") ;; -------------------- frtime plt-extras :+= (package: "frtime/") -;; -------------------- typed-scheme -dr-extras :+= (package: "typed-scheme/" ; used in drracket +;; -------------------- typed-racket +dr-extras :+= (package: "typed-racket/" ; used in drracket #:docs "ts-{reference|guide}/") - (package: "typed-racket") (- (collects: "typed/") (cond (not plt) => (collects: "typed/test-engine/") (collects: "typed/rackunit/") (srcfile: "typed/rackunit.rkt"))) + (collects: "typed-scheme") ; compatibility ;; -------------------- gui-debugger plt-extras :+= (collects: "gui-debugger/")