diff options
Diffstat (limited to 'Master/common.sh')
-rwxr-xr-x | Master/common.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/common.sh b/Master/common.sh index c405060a3d9..60b857f89ef 100755 --- a/Master/common.sh +++ b/Master/common.sh @@ -346,7 +346,7 @@ TEXMFCNF__fix_texmf() rm .sed_tmp.$$ # # the TEXMFHOME tree - if test "x$TEXMFHOME" != x'$HOME/texmf' && test "x$HOME" != /; then + if test "x$TEXMFHOME" != x'$HOME/texmf' && test "x$HOME" != x/; then # if the variable starts with the explicit home of the current user # (as in "/u/karl") replace that with the string '$HOME' as the # explicit home of the current user is unlikely to ever be right. |