[plt-scheme] Generating PDF docs?

At Fri, 12 Sep 2008 16:35:39 +0200, Michael Schuerig wrote:
> 
> I know that I can generate docs in PDF format using
> 
> $ setup-plt --doc-pdf <dir>
> 
> However, that unnecessarily(?) runs the entire setup process again. Is 
> it possible to have the PDF docs generate automatically on the initial 
> make install?

You could install with `make plain-install' and then run either
`setup-plt' or `mzscheme -l setup' manually.

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.


Matthew