diff options
Diffstat (limited to 'Master/bin/win32/generate-language.texlua')
-rwxr-xr-x | Master/bin/win32/generate-language.texlua | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Master/bin/win32/generate-language.texlua b/Master/bin/win32/generate-language.texlua index 3acd87edc46..b2013a3c8ca 100755 --- a/Master/bin/win32/generate-language.texlua +++ b/Master/bin/win32/generate-language.texlua @@ -36,6 +36,11 @@ end script=kpse.find_file(basename..".pl", "texmfscripts") +if (not(script)) then + print ("Cannot find "..basename..".pl".." using kpse, exiting!") + os.exit(1) +end + command={perlbin, script} for i=1, #arg do |