Rename an included file to .rktl

This commit is contained in:
Eli Barzilay 2010-05-16 17:16:33 -04:00
parent 4ab5fa7dff
commit 4b0b550e6a
4 changed files with 2 additions and 3 deletions

View File

@ -446,4 +446,4 @@
(loop (add1 n))
f)))))
(include (build-path "private" "macinc.rkt"))))
(include (build-path "private" "macinc.rktl"))))

View File

@ -1,3 +1,3 @@
#lang setup/infotab
(define compile-omit-paths '("stdio.rkt" "macinc.rkt"))
(define compile-omit-paths '("stdio.rkt"))

View File

@ -657,7 +657,6 @@ path/s is either such a string or a list of them.
"collects/drscheme/main.rkt" drdr:command-line (mzc *)
"collects/drscheme/tool-lib.rkt" drdr:command-line (mzc *)
"collects/dynext" responsible (mflatt)
"collects/dynext/private/macinc.rkt" drdr:command-line (racket "-f" *)
"collects/dynext/private/stdio.rkt" drdr:command-line #f
"collects/embedded-gui" responsible (mflatt)
"collects/embedded-gui/embedded-gui.rkt" drdr:command-line (gracket-text "-t" *)