diff options
Diffstat (limited to 'Master/tlpkg/dev/updmap.pl')
-rwxr-xr-x | Master/tlpkg/dev/updmap.pl | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/Master/tlpkg/dev/updmap.pl b/Master/tlpkg/dev/updmap.pl index 16d1004fc37..72994713476 100755 --- a/Master/tlpkg/dev/updmap.pl +++ b/Master/tlpkg/dev/updmap.pl @@ -272,14 +272,11 @@ sub newmktexupd { my @texmfdbs; my $delim; - if (win32()) { - $TEXMFDBS=`kpsewhich --expand-path="\$TEXMFDBS"`; - $delim=';'; - } else { - $TEXMFDBS=`kpsewhich --expand-path='\$TEXMFDBS'`; - $delim=':'; - } + $TEXMFDBS=`kpsewhich --show-path="ls-R"`; chomp ($TEXMFDBS); + + $delim= (&win32())? ';' : ':'; + my @texmfdbs=split ($delim, "$TEXMFDBS"); my %dbs; |