diff options
| author | Marius <mariausol@gmail.com> | 2010-10-02 13:49:57 +0300 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2010-10-02 13:49:57 +0300 |
| commit | 5d142291629d880a27e52af2d359a94e67c045b1 (patch) | |
| tree | a02ed58ee420fcfe474b206f2c1ab0b436369fa8 /scripts | |
| parent | e4a6b3ac3421762a868c4979d242f390c0e0fdee (diff) | |
| download | context-5d142291629d880a27e52af2d359a94e67c045b1.tar.gz | |
beta 2010.10.01 23:14
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/context/lua/mtxrun.lua | 2 | ||||
| -rw-r--r-- | scripts/context/stubs/mswin/mtxrun.lua | 2 | ||||
| -rw-r--r-- | scripts/context/stubs/unix/mtxrun | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/scripts/context/lua/mtxrun.lua b/scripts/context/lua/mtxrun.lua index 622643f9c..de44f7f6a 100644 --- a/scripts/context/lua/mtxrun.lua +++ b/scripts/context/lua/mtxrun.lua @@ -13178,7 +13178,7 @@ end function runners.locate_file(filename) -- differs from texmfstart where locate appends .com .exe .bat ... todo if filename and filename ~= "" then - runners.report_location(resolvers.find_given_file(filename)) + runners.report_location(resolvers.findgivenfile(filename)) end end diff --git a/scripts/context/stubs/mswin/mtxrun.lua b/scripts/context/stubs/mswin/mtxrun.lua index 622643f9c..de44f7f6a 100644 --- a/scripts/context/stubs/mswin/mtxrun.lua +++ b/scripts/context/stubs/mswin/mtxrun.lua @@ -13178,7 +13178,7 @@ end function runners.locate_file(filename) -- differs from texmfstart where locate appends .com .exe .bat ... todo if filename and filename ~= "" then - runners.report_location(resolvers.find_given_file(filename)) + runners.report_location(resolvers.findgivenfile(filename)) end end diff --git a/scripts/context/stubs/unix/mtxrun b/scripts/context/stubs/unix/mtxrun index 622643f9c..de44f7f6a 100644 --- a/scripts/context/stubs/unix/mtxrun +++ b/scripts/context/stubs/unix/mtxrun @@ -13178,7 +13178,7 @@ end function runners.locate_file(filename) -- differs from texmfstart where locate appends .com .exe .bat ... todo if filename and filename ~= "" then - runners.report_location(resolvers.find_given_file(filename)) + runners.report_location(resolvers.findgivenfile(filename)) end end |