[plt-scheme] Re: Generating PDF docs?

On Friday 12 September 2008, Matthew Flatt wrote:
> At Fri, 12 Sep 2008 16:35:39 +0200, Michael Schuerig wrote:

> I recommend just installing normally and then running `setup-plt',
> though. Even though unning `setup-plt' checks all the work that it
> did before, it shouldn't repeat much actual work. For example, it
> shouldn't re-build any ".zo" files. Also, you could move things along
> a little bit by supplying `-n' before `--doc-pdf', which tells
> `setup-plt' not to bother checking all the ".zo" files.

Thanks, that's what I'm doing now.

Michael

-- 
Michael Schuerig
mailto:michael at schuerig.de
http://www.schuerig.de/michael/