[plt-scheme] Re: Generating PDF docs?

From: Michael Schuerig (michael at schuerig.de)
Date: Fri Sep 12 11:20:55 EDT 2008

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 Schuerig
mailto:michael at schuerig.de

Posted on the users mailing list.