--- a/lib/Tools/make Thu Feb 06 18:33:50 1997 +0100
+++ b/lib/Tools/make Thu Feb 06 18:40:23 1997 +0100
@@ -23,8 +23,4 @@
[ "$1" = "-?" ] && usage
-
-. $ISABELLE_HOME/lib/scripts/getplatform
-export ISABELLE_OUTPUT_DIR="$ISABELLE_OUTPUT/$ML_SYSTEM-$PLATFORM"
-
exec make -f IsaMakefile "$@"