[plt-scheme] scribble --pdf a collection?

From: Dave Herman (dherman at ccs.neu.edu)
Date: Fri Mar 27 14:32:42 EDT 2009

> You can run `setup-plt' with a `--doc-pdf' flag, giving it a directory
> to put the PDFs in.

Oh, sure enough, there it is in the setup-plt --help info. I just 
overlooked it. Apologies & thanks.


Posted on the users mailing list.