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")))