diff options
-rwxr-xr-x | Master/install-tl.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/install-tl.pl b/Master/install-tl.pl index f1cd9f97d5e..678f30531a5 100755 --- a/Master/install-tl.pl +++ b/Master/install-tl.pl @@ -426,6 +426,7 @@ sub set_texlive_default_dirs { $tex_prefix||=getenv('USERPROFILE') . '/texlive'; } else { $tex_prefix||='/usr/local/texlive' if (-w '/usr/local'); + $tex_prefix||='/usr/local/texlive' if ( (-d '/usr/local/texlive') && (-w '/usr/local/texlive') ); $tex_prefix||=getenv('HOME') . '/texlive'; } $vars{'TEXDIR'}="$tex_prefix/$texlive_release"; |