From 9c6a7a6e6fa115e7a2b0198e3b56cb299e7a5861 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Fri, 23 Feb 2001 05:19:03 +0000
Subject: [PATCH] Eliminate some unnecessary logic.

---
 v7/dist/make-dist-files | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/v7/dist/make-dist-files b/v7/dist/make-dist-files
index 7d62959d6..c3d955a22 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.11 2001/01/08 20:52:12 cph Exp $
+# $Id: make-dist-files,v 1.12 2001/02/23 05:19:03 cph Exp $
 #
 # Copyright (c) 2000-2001 Massachusetts Institute of Technology
 #
@@ -56,13 +56,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/.
 
-${MKINSTALLDIRS} ${AUXDIR}/edwin/info
 ${INSTALL_DATA} /usr/local/info/dir ${AUXDIR}/edwin/info/.
 ${INSTALL_DATA} /usr/local/info/r4rs.* ${AUXDIR}/edwin/info/.
 ${INSTALL_DATA} /usr/local/info/r5rs.* ${AUXDIR}/edwin/info/.
-- 
2.25.1