|
|
diff -pruN mpgtx-1.3/configure mpgtx-1.3_new/configure
--- mpgtx-1.3/configure 2002-08-30 18:03:12.000000000 +0200
+++ mpgtx-1.3_new/configure 2005-01-02 17:15:22.188347080 +0100
@@ -75,7 +75,7 @@ do
-no-LFS | --no-LFS | -no-lfs | --no-lfs) LFS="no";; -stat | -static | --stat | --static) static="yes";; -par | -parachute | --par | --parachute) parachute="yes";;- -prefix=* | --prefix=*) prefix=`echo "$option" | sed 's/[-_a-zA-Z0-9]*=//'` ;;
+ -prefix=* | --prefix=*) prefix=`echo "$option" | sed 's/[-_a-zA-Z0-9]*=//'` ; manprefix=$prefix ;;
-dist | dist | --distrib | -distrib) rm -f Makefile && cat << EOF >makefile && exit 0;; # Dummy Makefile, please run ./configure default:
|
