On Mon, Feb 15, 2010 at 4:20 PM, Chongkai Zhu <c...@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 _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
