From: Chris Hanson <org/chris-hanson/cph>
Date: Sat, 23 Dec 2000 06:04:02 +0000 (+0000)
Subject: Use "src/etc/optiondb.scm" for distribution, _not_ our hacked one.
X-Git-Tag: 20090517-FFI~3035
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=4810f6dda56a2fcc50c68b45f8985a02430e72d6;p=mit-scheme.git

Use "src/etc/optiondb.scm" for distribution, _not_ our hacked one.
---

diff --git a/v7/dist/make-dist-files b/v7/dist/make-dist-files
index b983706b2..b0672b1e4 100755
--- a/v7/dist/make-dist-files
+++ b/v7/dist/make-dist-files
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-# $Id: make-dist-files,v 1.8 2000/12/23 05:52:22 cph Exp $
+# $Id: make-dist-files,v 1.9 2000/12/23 06:04:02 cph Exp $
 #
 # Copyright (c) 2000 Massachusetts Institute of Technology
 #
@@ -54,6 +54,9 @@ rm -rf ${BUILD_DIR}
     make install-html DESTDIR=${BUILD_DIR}
 )
 
+${MKINSTALLDIRS} ${AUXDIR}
+${INSTALL_DATA} /scheme/v7/src/etc/optiondb.scm ${AUXDIR}/.
+
 ${MKINSTALLDIRS} ${AUXDIR}/doc
 ${INSTALL_DATA} /scheme/v7/src/COPYING ${AUXDIR}/doc/.