From 0e9d9e9b494a95e0c2c41f0b1e88fb3b4079da86 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Sun, 10 Nov 1996 20:41:57 +0000
Subject: [PATCH] mentioned .mred.resources and the online help

original commit: dd2c845e2df20aa42d487883565b0f8b3b012395
---
 man/man1/mred.1 | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

diff --git a/man/man1/mred.1 b/man/man1/mred.1
index b7bd594c..4da8ef72 100644
--- a/man/man1/mred.1
+++ b/man/man1/mred.1
@@ -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.