On Thu, Aug 13, 2009 at 12:24 PM, Matthew Flatt<mfl...@cs.utah.edu> wrote: > At Tue, 11 Aug 2009 10:13:15 -0600, Matthew Flatt wrote: >> > I'm not sure if >> > building .scrbl files is expected or not for -D, either, but my -D >> > builds always go through long compiles in some of my reference >> > documentation directories anyway. >> >> ".scrbl" files are compiled even if you supply -D, since -D currently >> only controls rendering. Now that you mention it, though, ".scrbl" >> files could be skipped when you supply -D, and I'll look into that >> change. > > Done: -D now skips ".scrbl" files. More precisely, it ignores the > 'scribblings' field of "info.ss".
Thanks. This will probably speed up my incremental builds of Dracula IMMENSELY. --Carl _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
