From 2f92e307d2b60dce8c92d8ab73a2e06313ca23be Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Thu, 18 May 2006 18:16:22 +0000 Subject: [PATCH] fixed info file svn: r2968 --- collects/htdp/info.ss | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/htdp/info.ss b/collects/htdp/info.ss index 38b3d85364..08a560d6f3 100644 --- a/collects/htdp/info.ss +++ b/collects/htdp/info.ss @@ -1,2 +1,4 @@ (module info (lib "infotab.ss" "setup") - (define name "HtDP Teachpacks")) + (define name "HtDP Teachpacks") + (define compile-omit-files + '("hangman-world.ss" "hangman-world-play.ss")))