--- mpich-1.2.5/util/mpiinstall.in.old 2002-05-22 14:57:37.000000000 +0200 +++ mpich-1.2.5/util/mpiinstall.in 2002-05-22 15:03:30.000000000 +0200 @@ -109,6 +109,9 @@ -device=*) DEVICE=`echo A$arg | sed -e 's/A-device=//g'` COMM=$DEVICE arg="" ;; # device not valid for mpeargs + -datapath=*)datadir=`echo $arg | sed -e 's/-datapath=//g'` + datadir_override=1 + arg="" ;; # datapath not valid for mpeargs -manpath=*)mandir=`echo $arg | sed -e 's/-manpath=//g'` mandir_override=1 arg="" ;; # manpath not valid for mpeargs @@ -180,7 +183,9 @@ if [ "$mandir_override" != 1 ] ; then mandir=$prefix/man fi - datadir=$prefix/share + if [ "$datadir_override" != 1 ] ; then + datadir=$prefix/share + fi docdir=$prefix/doc fi