No longer needed.

diff --git a/v7/src/cref/Clean.sh b/v7/src/cref/Clean.sh
deleted file mode 100755 (executable)
index d55a635..0000000
--- a/v7/src/cref/Clean.sh
+++ /dev/null
@@ -1,34 +0,0 @@
-#!/bin/sh
-#
-# $Id: Clean.sh,v 1.2 2000/12/08 05:27:27 cph Exp $
-#
-# Copyright (c) 2000 Massachusetts Institute of Technology
-#
-# This program is free software; you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation; either version 2 of the License, or (at
-# your option) any later version.
-#
-# This program is distributed in the hope that it will be useful, but
-# WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
-# General Public License for more details.
-#
-# You should have received a copy of the GNU General Public License
-# along with this program; if not, write to the Free Software
-# Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
-
-# Utility for cleaning up the MIT Scheme cref directory.
-# The working directory must be the cref directory.
-
-if [ $# -ne 1 ]; then
-    echo "usage: $0 <command>"
-    exit 1
-fi
-
-../etc/Clean.sh "${1}" rm-bin rm-com rm-pkg-bin
-
-echo "rm -f cref.con cref.ldr"
-rm -f cref.con cref.ldr
-
-exit 0