From 0b72196247bb5e73a926b89683d3cfc20adbf682 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 11 Mar 2010 05:16:21 +0000 Subject: [PATCH] add the reader collection svn: r18509 --- collects/meta/dist-specs.ss | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/collects/meta/dist-specs.ss b/collects/meta/dist-specs.ss index 4c1a68c07c..e106861395 100644 --- a/collects/meta/dist-specs.ss +++ b/collects/meta/dist-specs.ss @@ -332,8 +332,7 @@ mz-base := "/plt/readme.txt" ; generated (cond (not src) => (collects: "info-domain/")) ; filtered (package: "config") ;; basic code - (collects: "scheme") - (collects: "s-exp") + (collects: "scheme" "s-exp" "reader") ;; include the time-stamp collection when not a public release (cond (not release) => (- (collects: "repos-time-stamp/")