From baf34c01945ca5a7dedc4084f81b0a98ec52063a Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 28 Feb 2010 22:17:01 +0000 Subject: [PATCH] fix dist-specs, since separate futures manual is gone svn: r18398 --- 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 21348dc47e..4c1a68c07c 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/" "places/" + "foreign/" "inside/" "places/" "honu/") (doc: "*.{html|css|js|sxref}") (scribblings: "{{info|icons}.ss|*.png}" "compiled")