From ccac2ca2765aba027fde895c700289eb848bb6d1 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Wed, 22 Sep 2004 03:18:16 +0000 Subject: [PATCH] Auto-generate settings.sml --- BUILDING | 3 +-- settings.sml | 28 ---------------------------- 2 files changed, 1 insertion(+), 30 deletions(-) delete mode 100644 settings.sml diff --git a/BUILDING b/BUILDING index f978244..3897dff 100644 --- a/BUILDING +++ b/BUILDING @@ -13,8 +13,7 @@ internals, and they may change often. Configuration ============= -Modify the parameters in settings and settings.sml as appropriate for -your system. +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 diff --git a/settings.sml b/settings.sml deleted file mode 100644 index 041bf3c..0000000 --- a/settings.sml +++ /dev/null @@ -1,28 +0,0 @@ -(* - * Dynamic web page generation with Standard ML - * Copyright (C) 2003-2004 Adam Chlipala - * - * This library is free software; you can redistribute it and/or - * modify it under the terms of the GNU Lesser General Public - * License as published by the Free Software Foundation; either - * version 2.1 of the License, or (at your option) any later version. - * - * This library is distributed in the hope that it will be useful, - * but WITHOUT ANY WARRANTY; without even the implied warranty of - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU - * Lesser General Public License for more details. - * - * You should have received a copy of the GNU Lesser General Public - * License along with this library; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA - *) - -(* Configuration parameters *) - -structure Settings = -struct - val arch = "x86-linux" - val defaultFile = "/etc/mlt.conf" - val smlbin = "/usr/local/sml/bin" - val mltdir = "/usr/local/share/mlt" -end \ No newline at end of file -- 2.20.1