From 58d01d0d124c10385f2d93a426073a816c68e0a0 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 2 Dec 2011 09:03:57 -0700 Subject: [PATCH] fix dist specs for "icons" change --- collects/meta/dist-specs.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt index ed8d95e2e3..fbedd4e54c 100644 --- a/collects/meta/dist-specs.rkt +++ b/collects/meta/dist-specs.rkt @@ -589,7 +589,8 @@ plt-extras :+= (package: "lazy") plt-extras :+= (collects: "combinator-parser") ;; -------------------- icons -dr-extras :+= (package: "icons/") +dr-extras :+= (package: "icons/*.{jpg|png|gif|bmp|xbm|xpm}") +plt-extras :+= (package: "icons/") ;; -------------------- string dr-extras :+= (package: "string-constants")