From 4b1fdd9bc061f3f5f4ade8bf8159048abe42f6bf Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Wed, 27 Jan 2010 09:58:48 +0000 Subject: [PATCH] added places svn: r17849 --- 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 b96401b67b..0e0547c390 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/" "futures/" + "foreign/" "inside/" "futures/" "places/" "honu/") (doc: "*.{html|css|js|sxref}") (scribblings: "{{info|icons}.ss|*.png}" "compiled")