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).

SEE ALSO