From 4810f6dda56a2fcc50c68b45f8985a02430e72d6 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Sat, 23 Dec 2000 06:04:02 +0000
Subject: [PATCH] Use "src/etc/optiondb.scm" for distribution, _not_ our hacked
 one.

---
 v7/dist/make-dist-files | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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/.
 
-- 
2.25.1