From 862e9811c6f68e08d25da7304c983456244c47b2 Mon Sep 17 00:00:00 2001 From: David Rose Date: Sat, 5 Jun 2004 01:40:03 +0000 Subject: [PATCH] tweaks --- doc/INSTALL | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/doc/INSTALL b/doc/INSTALL index 7cd7a9985e..fe140023c6 100644 --- a/doc/INSTALL +++ b/doc/INSTALL @@ -657,8 +657,10 @@ run-time behavior. Create a file called Configrc in the $INSTALL_DIR/etc directory. By convention, your custom Configrc file should not have any extension, not even the extension ".txt"; this differentiates it from the -standard Configrc files which are installed into the $INSTALL_DIR/etc -file. +standard Configrc files which are also installed into the +$INSTALL_DIR/etc file (and having no extension causes your file to be +loaded first, so your personal settings will override those in the +other files). For now, add just the line: