Don't do manual install of info files; let doc/Makefile handle this.

diff --git a/v7/dist/make-dist-files b/v7/dist/make-dist-files
index 87e947958fc0e064d7646bb17bd6fa4f5dfe40e8..e5741eb2172efc7d9d342433c96cf47303977637 100755 (executable)
--- a/v7/dist/make-dist-files
+++ b/v7/dist/make-dist-files
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-# $Id: make-dist-files,v 1.24 2007/01/20 03:43:15 cph Exp $
+# $Id: make-dist-files,v 1.25 2007/01/20 03:55:34 cph Exp $
 #
 # Copyright 2000,2001,2002,2003,2005 Massachusetts Institute of Technology
 #
@@ -106,10 +106,6 @@ if [ ! -f "${STAMP_IMAGE}" ]; then
        infodir=/usr/local/lib/mit-scheme/edwin/info
     make install-html DESTDIR="${IMAGE_DIR}"
 
-    ${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
     (std | snapshot)