[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Documentation



Jerzy Karczmarczuk <karczma@info.unicaen.fr> writes:

> Sorry for my laziness, I might probably find it myself, but with
> the changes of all PLT sites I couldn't do it *easily*.
> 
> How to get the .plt documentation off-line? Where are the bundles?
> The Help Desk can find them when there are uninstalled manuals, but
> I have here installed all, now I want to load them again without
> unpacking, for some of my dearest students, who don't have Internet
> at home.

While the help desk is downloading the files, it shows the URL.  You
can use any browser (or wget, etc) to download the files too using the
same URL, and save them wherever you want.

-- 
Chris