man debian-plt (Commandes) - The Debian PLT Setup Utility
NAME
debian-plt - The Debian PLT Setup Utility
SYNOPSIS
debian-plt [ Xflag ... ] [ file ... ]
DESCRIPTION
debian-plt is the Debian Setup Utility for Rice University's PLT Scheme.
debian-plt installs the .plt files given as command-line arguments. It installs the files into the non-root PLT directory (/usr/local/lib/plt on Debian systems) and compiles the source into *.zo files. This utility should be used by local Debian administrators to install non-dpkg-controlled PLT files under /usr/local/lib/plt. For further information on MzScheme, DrScheme, or any of its components (such as setup-plt) please consult the on-line documentation and other information available at
http://www.cs.rice.edu/CS/PLT/packages/drscheme/
FILES
DrScheme looks for its libraries using the environment variables PLTHOME and PLTCOLLECTS. If this variable is not defined, the installation directory is assumed ("/usr/lib/plt/" on Debian systems). See the documentation for details.
Please consult your local administrator to determine whether the on-line documentation has been installed locally.
BUGS
Submit bug reports via Help Desk (encouraged), or via the web http://www.cs.rice.edu/CS/PLT/Bugs/ (discouraged) or by e-mail to plt-bugs@cs.rice.edu (discouraged)
AUTHOR
DrScheme was implemented by Robby Findler (robby@cs.rice.edu), Shriram Krishnamurthi (shriram@cs.rice.edu), Cormac Flanagan (cormac@cs.rice.edu), Matthew Flatt (mflatt@cs.rice.edu), and Paul Steckler (steck@cs.rice.edu).