From 4fe5353dc3a77792c3ede6f59c084ca50aad746d Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 26 Apr 2010 05:15:41 -0400 Subject: [PATCH] don't distribute the places doc sources --- collects/meta/dist-specs.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/meta/dist-specs.ss b/collects/meta/dist-specs.ss index 6dd42893ab..2b406def7e 100644 --- a/collects/meta/dist-specs.ss +++ b/collects/meta/dist-specs.ss @@ -344,7 +344,7 @@ mz-manuals := (scribblings: "main/") ; generates main pages (next line) (notes: "COPYING.LIB" "COPYING-libscheme.txt") (doc: "doc-license.txt") ; needed (when docs are included) (doc+src: "reference/" "guide/" "quick/" "more/" - "foreign/" "inside/" "places/" + "foreign/" "inside/" ;; "places/" <- not ready yet "honu/") (doc: "*.{html|css|js|sxref}") (scribblings: "{{info|icons}.ss|*.png}" "compiled")