[plt-dev] setup-plt errors: in.sxref compiled for wrong version

On Thu, Aug 13, 2009 at 12:24 PM, Matthew Flatt<mflatt at 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