man help-desk (Commandes) - PLT Help Browser
NAME
help-desk - PLT Help Browser
SYNOPSIS
help-desk [ Xflag ... ]
DESCRIPTION
help-desk is a launcher for the PLT DrScheme runtime environment that starts up the help browsing facility for the various PLT documentation installed on the system.
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).