diff options
| author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-05-16 00:15:04 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-05-16 00:15:04 +0200 |
| commit | b55577d0998160c0174e250b542016ecd6ca9056 (patch) | |
| tree | 27093212d5ca3e6ffe4ae434c3ec094233ed37ba /tex/context/base/data-aux.lua | |
| parent | 624cbb5da392e9403984dd1cf368c0d408b1c2a8 (diff) | |
| download | context-b55577d0998160c0174e250b542016ecd6ca9056.tar.gz | |
2015-05-15 23:06:00
Diffstat (limited to 'tex/context/base/data-aux.lua')
| -rw-r--r-- | tex/context/base/data-aux.lua | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tex/context/base/data-aux.lua b/tex/context/base/data-aux.lua index b969e6070..dae96ce62 100644 --- a/tex/context/base/data-aux.lua +++ b/tex/context/base/data-aux.lua @@ -16,7 +16,8 @@ local resolvers = resolvers local report_scripts = logs.reporter("resolvers","scripts") function resolvers.updatescript(oldname,newname) -- oldname -> own.name, not per se a suffix - local scriptpath = "scripts/context/lua" + -- local scriptpath = "scripts/context/lua" + local scriptpath = "context/lua" newname = file.addsuffix(newname,"lua") local oldscript = resolvers.cleanpath(oldname) if trace_locating then |