[plt-dev] `rico' and ".rkt"

On Mon, Feb 15, 2010 at 4:20 PM, Chongkai Zhu <czhu at cs.utah.edu> wrote:
> Whatever file attach we will use, I just want to remove the ".scrbl"
> extension and make all scribble file have the same extension as other files.
> The idea is to use the first #lang line to decide what "module" language it
> is, right?
>
> Chongkai

Right now, setup-plt treats Scribble files specially; for instance, it
does not run them when given the -D option.  I'm not sure we have a
method yet for doing that based on #lang.

--Carl