Eliminate "mit-" prefix.

diff --git a/v7/dist/release-prefix b/v7/dist/release-prefix
index 56f865a47f39ae4410758589460480983c7e660f..5f5d5471a8cb4ef64ae8d0a681178e951755d129 100755 (executable)
--- a/v7/dist/release-prefix
+++ b/v7/dist/release-prefix
@@ -3,4 +3,4 @@ get_release()
 {
   fgrep "#define RELEASE" /scheme/v7/src/microcode/version.h | awk '{ print $3 }' | tr -d \"
 }
-echo "mit-scheme-`get_release`"
+echo "scheme-`get_release`"