From 400fbdd82bbe0a6a75184398f9c41aaf462c8d15 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Wed, 22 Sep 2004 03:31:23 +0000 Subject: [PATCH 1/1] Change BUILDING wording --- BUILDING | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/BUILDING b/BUILDING index 3897dff..2c9a6a7 100644 --- a/BUILDING +++ b/BUILDING @@ -15,16 +15,15 @@ Configuration Modify the parameters in settings as appropriate for your system. -If it is possible for you to modify a file /etc/mlt.conf, then you -can edit this file to set various options related to locations of +If it is possible for you to modify a file /etc/mlt.conf, then you can +edit this file to set various options related to locations of important files on your file system. In particular, you may want to set the 'compiler', 'lib', and 'sml' options (documented in the manual) if you have SML/NJ installed somewhere besides /usr/local/sml or the mlt src directory somewhere besides /usr/local/share/mlt/src. -If you can't modify /etc/mlt.conf, then you can change the first -variable definition in src/config.sml to a different path, or you can -leave it as is and provide all configuration in the local mlt.conf -file for each project. +If you can't modify /etc/mlt.conf, then you can change the DEFAULT +option in settings to a different path, or you can leave it as is and +provide all configuration in the local mlt.conf file for each project. These changes may be made for you by a fancy configuration program in a future release. -- 2.20.1