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

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Thu Aug 13 12:24:27 EDT 2009

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".

Posted on the dev mailing list.