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. Dave
Posted on the users mailing list. |
|