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

From: Carl Eastlund (carl.eastlund at gmail.com)
Date: Mon Feb 15 16:28:21 EST 2010

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.


Posted on the dev mailing list.