diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt index 17b67b480e..91828537e9 100644 --- a/collects/meta/dist-specs.rkt +++ b/collects/meta/dist-specs.rkt @@ -1,5 +1,13 @@ #lang reader meta/spec-reader +#| +Note: TEMP-ICONS-FIX marks a few spots where things that normally +belong to the "plt" (largest) distribution have been temporarily +changed to the "dr" distribution so the nightly builds can +proceed. The dist-spec changes should be undone when the underlying +problem is fixed. +|# + ;; -*- scheme -*- ;; ============================================================================ @@ -590,7 +598,9 @@ plt-extras :+= (collects: "combinator-parser") ;; -------------------- icons dr-extras :+= (collects: "icons/*.{jpg|png|gif|bmp|xbm|xpm}") -plt-extras :+= (package: "icons/") + +;; TEMP-ICONS-FIX: was plt-extras +dr-extras :+= (package: "icons/") ;; -------------------- string dr-extras :+= (package: "string-constants") @@ -626,7 +636,8 @@ plt-extras :+= (- (+ (package: "games/" #:executable "plt-games") "paint-by-numbers/{hattori|solution-sets|raw-problems}") ;; -------------------- texpict & slideshow -plt-extras :+= (collects: "texpict/") +;; TEMP-ICONS-FIX: was plt-extras +dr-extras :+= (collects: "texpict/") (package: "slideshow") ;; -------------------- frtime