diff options
Diffstat (limited to 'Build/source/texk/tetex/configure')
| -rwxr-xr-x | Build/source/texk/tetex/configure | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Build/source/texk/tetex/configure b/Build/source/texk/tetex/configure index 87f89bc1c7d..ba75b8843a4 100755 --- a/Build/source/texk/tetex/configure +++ b/Build/source/texk/tetex/configure @@ -1037,6 +1037,9 @@ fi echo $ac_n "checking where the main texmf tree is located""... $ac_c" 1>&6 echo "configure:1040: checking where the main texmf tree is located" >&5 +case $prefix in + */) prefix=`echo "$prefix" | sed 's@/*$@@'`;; +esac texmfmain= if test "x$datadir" != 'x${prefix}/share'; then # First case, datadir is defined... |