diff options
Diffstat (limited to 'Master/tlpkg/TeXLive/TLMedia.pm')
-rw-r--r-- | Master/tlpkg/TeXLive/TLMedia.pm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/TeXLive/TLMedia.pm b/Master/tlpkg/TeXLive/TLMedia.pm index 6f3b70db578..71be3ea3dee 100644 --- a/Master/tlpkg/TeXLive/TLMedia.pm +++ b/Master/tlpkg/TeXLive/TLMedia.pm @@ -25,7 +25,7 @@ sub new # no default by itself ... # $location = "$TeXLiveURL" unless (defined($location)); # do media autodetection - if ($location =~ m,http://|ftp://,) { + if ($location =~ m,http://|ftp://|file://*,) { $media = 'NET'; } else { if (-d "$location/texmf/web2c") { |