diff options
| author | Hans Hagen <pragma@wxs.nl> | 2011-01-24 23:51:00 +0100 |
|---|---|---|
| committer | Hans Hagen <pragma@wxs.nl> | 2011-01-24 23:51:00 +0100 |
| commit | 2fb045c7c88895c00bbbdc935e0651f4e1879536 (patch) | |
| tree | 35ebd4366aeae122a750ac7d4021e965d7042aa0 /scripts/context/stubs/mswin/mtxrun.lua | |
| parent | 1b64f6bc515ace3fb763a3c3b8110007e44119af (diff) | |
| download | context-2fb045c7c88895c00bbbdc935e0651f4e1879536.tar.gz | |
beta 2011.01.24 23:51
Diffstat (limited to 'scripts/context/stubs/mswin/mtxrun.lua')
| -rw-r--r-- | scripts/context/stubs/mswin/mtxrun.lua | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/scripts/context/stubs/mswin/mtxrun.lua b/scripts/context/stubs/mswin/mtxrun.lua index 4fc678333..f414d1707 100644 --- a/scripts/context/stubs/mswin/mtxrun.lua +++ b/scripts/context/stubs/mswin/mtxrun.lua @@ -13418,10 +13418,14 @@ function environment.make_format(name) end logs.simple("format path: %s",lfs.currentdir()) -- check source file - local texsourcename = file.addsuffix(name,"tex") + local texsourcename = file.addsuffix(name,"mkiv") local fulltexsourcename = resolvers.findfile(texsourcename,"tex") or "" if fulltexsourcename == "" then - logs.simple("no tex source file with name: %s",texsourcename) + texsourcename = file.addsuffix(name,"tex") + fulltexsourcename = resolvers.findfile(texsourcename,"tex") or "" + end + if fulltexsourcename == "" then + logs.simple("no tex source file with name: %s (mkiv or tex)",name) lfs.chdir(olddir) return else |