[plt-scheme] manuals in cvs

Yes, they are. The anonymous CVS web page has the details, but
you should be able to follow the "manuals" link in Help Desk
and there should be a link there that says "refresh all manuals"
that downloads them all.

Robby

>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>
> Are the PLT manuals accessible via CVS?
>
> It'd be nice to have the latest documentation always installed,
> if that can be done without overimposing on the CVS/download server.
>
> --
>                                              http://www.neilvandyke.org/
>
>