diff options
Diffstat (limited to 'Master/bin/win32/getnonfreefonts.texlua')
| -rwxr-xr-x | Master/bin/win32/getnonfreefonts.texlua | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/bin/win32/getnonfreefonts.texlua b/Master/bin/win32/getnonfreefonts.texlua index ddf32fbd1e7..68b87f2272d 100755 --- a/Master/bin/win32/getnonfreefonts.texlua +++ b/Master/bin/win32/getnonfreefonts.texlua @@ -63,6 +63,9 @@ elseif lfs.isfile(BINDIR..'/'..basename..'.pl') then elseif kpse.find_file(basename..'.pl', 'texmfscripts') then script=kpse.find_file(basename..'.pl', 'texmfscripts') command={perlbin, script} +elseif kpse.find_file(basename..'.texlua', 'texmfscripts') then + script=kpse.find_file(basename..'.texlua', 'texmfscripts') + command={'texlua', script} else io.stderr:write(filename..'.texlua: '..basename.. ': No appropriate script found.\n') |