File inform7-5J39.dif of Package inform7

--- install-inform7.sh
+++ install-inform7.sh	2008/04/24 14:42:51
@@ -70,8 +70,8 @@
 
 D=$(pwd)
 
-mkdir -p "$PREFIX"
-cd "$PREFIX" || exit 3
+mkdir -p "${DESTDIR}$PREFIX"
+cd "${DESTDIR}$PREFIX" || exit 3
 tar xfz ${D}/${COMMON} || exit 4
 tar xfz ${D}/${COMPDEP} || exit 4
 tar xfz ${D}/${TERPDEP} || exit 4