diff options
author | Karl Berry <karl@freefriends.org> | 2014-05-21 22:13:59 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-05-21 22:13:59 +0000 |
commit | b67c6b8e8bbac63733896ea765a727e8818ffd49 (patch) | |
tree | 8989fed7c9309a571d0db657ba98625311ee4e74 /Master/texmf-dist/tex/context/base/file-mod.lua | |
parent | da97d76e241ed86cd4ddaaf751e806ac08a2f743 (diff) |
context (May 21, size 12142565)
git-svn-id: svn://tug.org/texlive/trunk@34178 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/context/base/file-mod.lua')
-rw-r--r-- | Master/texmf-dist/tex/context/base/file-mod.lua | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/Master/texmf-dist/tex/context/base/file-mod.lua b/Master/texmf-dist/tex/context/base/file-mod.lua index 822f37c8637..2f34d9dd2a9 100644 --- a/Master/texmf-dist/tex/context/base/file-mod.lua +++ b/Master/texmf-dist/tex/context/base/file-mod.lua @@ -20,17 +20,18 @@ at the <l n='tex'/> side.</p> local format, concat, tonumber = string.format, table.concat, tonumber -local trace_modules = false trackers.register("modules.loading", function(v) trace_modules = v end) +local trace_modules = false trackers .register("modules.loading", function(v) trace_modules = v end) +local permit_unprefixed = false directives.register("modules.permitunprefixed", function(v) permit_unprefixed = v end) -local report_modules = logs.reporter("resolvers","modules") +local report_modules = logs.reporter("resolvers","modules") -commands = commands or { } -local commands = commands +commands = commands or { } +local commands = commands -local context = context +local context = context -local findbyscheme = resolvers.finders.byscheme -- use different one -local iterator = utilities.parsers.iterator +local findbyscheme = resolvers.finders.byscheme -- use different one +local iterator = utilities.parsers.iterator -- modules can have a specific suffix or can specify one @@ -117,7 +118,10 @@ function commands.usemodules(prefix,askedname,truename) end if status then -- ok, don't change + elseif not permit_unprefixed then + -- forget about it elseif usemodule(truename) then + report_modules("using unprefixed file %a",truename) status = 1 else status = 0 |