diff options
Diffstat (limited to 'tex/context/base/file-lib.lua')
| -rw-r--r-- | tex/context/base/file-lib.lua | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tex/context/base/file-lib.lua b/tex/context/base/file-lib.lua index 03ae0dfb7..92dacbf5c 100644 --- a/tex/context/base/file-lib.lua +++ b/tex/context/base/file-lib.lua @@ -6,6 +6,9 @@ if not modules then modules = { } end modules ['file-lib'] = { license = "see context related readme files" } +-- todo: check all usage of truefilename at the tex end and remove +-- files there (and replace definitions by full names) + local format = string.format local trace_files = false trackers.register("resolvers.readfile", function(v) trace_files = v end) @@ -39,6 +42,9 @@ function commands.uselibrary(specification) -- todo; reporter end for i=1,#patterns do local somename = format(patterns[i],filename) +if environment.truefilename then + somename = environment.truefilename(somename) +end local foundname = resolvers.getreadfilename("any",".",somename) or "" if foundname ~= "" then action(name,foundname) |