mentioned .mred.resources and the online help
original commit: dd2c845e2df20aa42d487883565b0f8b3b012395
This commit is contained in:
parent
8bf88c8781
commit
0e9d9e9b49
|
@ -67,10 +67,12 @@ application-specific startup sequences.
|
|||
For further information on
|
||||
.I MrEd,
|
||||
please consult the on-line
|
||||
documentation and other information available at
|
||||
documentation in the Help menu of the console
|
||||
and other information available at
|
||||
.PP
|
||||
.ce 1
|
||||
http://www.cs.rice.edu/CS/PLT/packages/mred/
|
||||
|
||||
.SH FILES
|
||||
If the -s flag is not specified,
|
||||
.I MrEd
|
||||
|
@ -106,8 +108,14 @@ with the value of the PLTHOME environment variable.
|
|||
If the environment variable is undefined,
|
||||
"/usr/local/lib/plt/" is used
|
||||
.PP
|
||||
Please consult your local administrator to determine whether
|
||||
the on-line documentation has been installed locally.
|
||||
|
||||
.I MrEd
|
||||
also looks for Xresources in
|
||||
.IP
|
||||
* "~/.mred.resources"
|
||||
.PP
|
||||
Xresources in that file override any other resources settings.
|
||||
|
||||
.SH BUGS
|
||||
Email bug reports to plt-bugs@cs.rice.edu. Please mention
|
||||
"MrEd" in the subject line or the message.
|
||||
|
|
Loading…
Reference in New Issue
Block a user