diff options
Diffstat (limited to 'Master/texmf')
| -rwxr-xr-x | Master/texmf/scripts/texlive/mupdmap.pl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Master/texmf/scripts/texlive/mupdmap.pl b/Master/texmf/scripts/texlive/mupdmap.pl index ea1900cd153..f3f67cf207f 100755 --- a/Master/texmf/scripts/texlive/mupdmap.pl +++ b/Master/texmf/scripts/texlive/mupdmap.pl @@ -226,6 +226,10 @@ sub main { warning("Old configuration file TEXMFLOCAL/web2c/updmap-local.cfg found!\n"); if ($found) { warning("Will read this file *instead* of TEXMFLOCAL/web2c/updmap.cfg!!!\n"); + } else { + # if TEXMFLOCAL updmap.cfg does not exist, we have to make sure + # that the replacement is added to the list of updmap files + push @used_files, "$TMLabs/web2c/updmap-local.cfg"; } warning("Please consider moving the information from updmap-local.cfg to TEXMFLOCAL/web2c/updmap.cfg\n"); } |