diff options
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/install-tl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/install-tl b/Master/install-tl index ae95af9bfa0..fe2804fe3b0 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -387,7 +387,7 @@ if (!$opt_custom_bin && (platform() eq "i386-cygwin")) { if (-d "$tmp/$Archive") { push @media_available, "local_compressed#$tmp"; } - if (-d "$tmp/texmf-dist/web2c") { + if (-r "$tmp/texmf-dist/web2c/texmf.cnf") { push @media_available, "local_uncompressed#$tmp"; } } |