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". _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
