From: Chris Hanson <org/chris-hanson/cph>
Date: Tue, 18 Jun 2002 00:51:18 +0000 (+0000)
Subject: Move extra info files into DIST_DIR.
X-Git-Tag: 20090517-FFI~2179
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=96424ec88a9fe4cb95a2e8383ceec1c3430f34bd;p=mit-scheme.git

Move extra info files into DIST_DIR.
---

diff --git a/v7/dist/make-dist-files b/v7/dist/make-dist-files
index 384e0ab60..75f7876cf 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.21 2002/06/17 16:31:55 cph Exp $
+# $Id: make-dist-files,v 1.22 2002/06/18 00:51:18 cph Exp $
 #
 # Copyright (c) 2000-2002 Massachusetts Institute of Technology
 #
@@ -96,11 +96,9 @@ if [ ! -f "${STAMP_IMAGE}" ]; then
 	infodir=/usr/local/lib/mit-scheme/edwin/info
     make install-html DESTDIR="${IMAGE_DIR}"
 
-    if [ -d /usr/local/info ]; then
-	${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/."
-    fi
+    ${INSTALL_DATA} ${DIST_DIR}/info/dir "${AUXDIR}/edwin/info/."
+    ${INSTALL_DATA} ${DIST_DIR}/info/r4rs.* "${AUXDIR}/edwin/info/."
+    ${INSTALL_DATA} ${DIST_DIR}/info/r5rs.* "${AUXDIR}/edwin/info/."
 
     ALL_BANDS="runtime.com compiler.com edwin.com all.com 6001.com"
     case ${TYPE} in