[plt-scheme] Pruning advice on "in place" PLT builds

On Dec 30, 2007 4:31 PM, Eli Barzilay <eli at barzilay.org> wrote:
> > I exported the v372 tag and used that for the build. What steps must
> > one take to install the documentation?  I plan to follow the step of
> > running help-desk and downloading all of the additional manuals, is
> > there anything more to it?
>
> That's basically it.  You can go to
> http://download.plt-scheme.org/doc/372/bundles/
> and get all the .plt files directly.

I see. I would install them like this:
http://download.plt-scheme.org/doc/dotplt.html

Where do those actually get installed?

Thanks Eli.