* compile-omit-files will not prevent compilation of a required (compiled)

file, document this
* remove redundant compile-omit-files from config/info
* Make configtab introduce the missing bindings unhygienically, so there are no
  made up names in the zo, which makes it possible to easily replace config.ss
  without re-compiling everything.

svn: r3400

collects/compiler/doc.txt

@@ -147,7 +147,9 @@ next section.
          files in this list.  If a file contains elaboration time
          expressions (e.g., macros, signatures) that are not intended
          to be local to the file, then the file should be included in
-         this list.
+         this list.  Note: files that are required by other files that
+         are compiled will get compiled in the process even when
+         listed here.
 
 >      compile-extension-omit-files - a list of filenames to extend
          the list returned for `compile-omit-files'. Unlike the list

collects/config/info.ss

@@ -1,4 +1,3 @@
 (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")))

collects/setup/configtab.ss

@@ -73,19 +73,15 @@
                                      #`(delay (to-path #,val)) val))
                                  (syntax->list #'(name ...))
                                  (syntax->list #'(val  ...)))])
+               (define ((mkdef v) id)
+                 (if (memq id syms)
+                   '()
+                   (list #`(define #,(datum->syntax-object stx id stx) #,v))))
                #`(#%plain-module-begin
                   (provide #,@path-exports #,@flag-exports)
                   (define name expr) ...
-                  #,@(apply append (map (lambda (id)
+                  #,@(apply append (map (mkdef #'use-default) path-exports))
-                                          (if (memq id syms)
+                  #,@(apply append (map (mkdef #'#f) flag-exports))))))])))
-                                            '()
-                                            (list #`(define #,id use-default))))
-                                        path-exports))
-                  #,@(apply append (map (lambda (id)
-                                          (if (memq id syms)
-                                            '()
-                                            (list #`(define #,id #f))))
-                                        flag-exports))))))])))
 
   (provide (rename config-module-begin #%module-begin)
 	   define