diff options
author | Marius <mariausol@gmail.com> | 2013-02-01 00:20:31 +0200 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2013-02-01 00:20:31 +0200 |
commit | 81b259023be92950100711433ea17f3cdebf45fb (patch) | |
tree | 3250f6287c57cace9939fb66ed3da735437bf151 /tex/generic | |
parent | f3d4c3eb9b808f3b7fd0b95b67911ff2527f380a (diff) | |
download | context-81b259023be92950100711433ea17f3cdebf45fb.tar.gz |
beta 2013.01.31 22:47
Diffstat (limited to 'tex/generic')
-rw-r--r-- | tex/generic/context/luatex/luatex-fonts-merged.lua | 30 |
1 files changed, 29 insertions, 1 deletions
diff --git a/tex/generic/context/luatex/luatex-fonts-merged.lua b/tex/generic/context/luatex/luatex-fonts-merged.lua index ba0d0d4ef..6121c7206 100644 --- a/tex/generic/context/luatex/luatex-fonts-merged.lua +++ b/tex/generic/context/luatex/luatex-fonts-merged.lua @@ -1,6 +1,6 @@ -- merged file : luatex-fonts-merged.lua -- parent file : luatex-fonts.lua --- merge date : 01/30/13 23:53:42 +-- merge date : 01/31/13 22:47:25 do -- begin closure to overcome local limits and interference @@ -2221,6 +2221,7 @@ file = file or { } local file = file if not lfs then + lfs = { getcurrentdir = function() return "." @@ -2235,7 +2236,34 @@ if not lfs then return true end end, + isdir = function(name) + print("you need to load lfs") + return false + end } + +elseif not lfs.isfile then + + local attributes = lfs.attributes + + function lfs.isdir(name) + return attributes(name,"mode") == "directory" + end + + function lfs.isfile(name) + return attributes(name,"mode") == "file" + end + + -- function lfs.isdir(name) + -- local a = attributes(name) + -- return a and a.mode == "directory" + -- end + + -- function lfs.isfile(name) + -- local a = attributes(name) + -- return a and a.mode == "file" + -- end + end local insert, concat = table.insert, table.concat |