Initial revision

diff --git a/v7/dist/release-prefix b/v7/dist/release-prefix
new file mode 100755 (executable)
index 0000000..71e8ce0
--- /dev/null
+++ b/v7/dist/release-prefix
@@ -0,0 +1,6 @@
+#!/bin/sh
+get_release()
+{
+  fgrep "#define RELEASE" /scheme/v7/src/microcode/version.h | awk '{ print $3 }' | tr -d \"
+}
+echo "mit-scheme-`get_release`-"