From c4592f7ab581cd7c73cbb38dc733efa596af205e Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sun, 18 Jun 2006 00:35:10 +0000 Subject: [PATCH] dont compile the config file so it is safe to replace it svn: r3390 --- collects/config/info.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/config/info.ss b/collects/config/info.ss index bc0fdf2249..582902e258 100644 --- a/collects/config/info.ss +++ b/collects/config/info.ss @@ -1,3 +1,4 @@ (module info (lib "infotab.ss" "setup") (define name "Config") - (define doc.txt "doc.txt")) + (define doc.txt "doc.txt") + (define compile-omit-files '("config.ss")))