diff options
Diffstat (limited to 'Master/texmf-dist/tex/context/base/file-syn.lua')
-rw-r--r-- | Master/texmf-dist/tex/context/base/file-syn.lua | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/Master/texmf-dist/tex/context/base/file-syn.lua b/Master/texmf-dist/tex/context/base/file-syn.lua index 8d913bb3769..c1f9a5f4817 100644 --- a/Master/texmf-dist/tex/context/base/file-syn.lua +++ b/Master/texmf-dist/tex/context/base/file-syn.lua @@ -32,11 +32,15 @@ function commands.truefilename(name) end function commands.definefilesynonym(name,realname) - local synonym = filesynonyms[name] - if synonym then - interfaces.showmessage("files",1,{ name or "?", realname or "?", synonym or "?" }) + local names = settings_to_array(name) + for i=1,#names do + local name = names[i] + local synonym = filesynonyms[name] + if synonym then + interfaces.showmessage("files",1,{ name or "?", realname or "?", synonym or "?" }) + end + filesynonyms[name] = realname end - filesynonyms[name] = realname end function commands.definefilefallback(name,alternatives) |