summaryrefslogtreecommitdiff
path: root/tex/generic
diff options
context:
space:
mode:
authorHans Hagen <pragma@wxs.nl>2013-03-22 18:23:00 +0100
committerHans Hagen <pragma@wxs.nl>2013-03-22 18:23:00 +0100
commit7301c500d2c7487c188a524a206b7f491c855ab3 (patch)
treeeaf15cc4af9ca1979756ffae5ebdce80c3b8e96e /tex/generic
parentf584f7999f7c6b44675a9071eb9a8f74babf001e (diff)
downloadcontext-7301c500d2c7487c188a524a206b7f491c855ab3.tar.gz
beta 2013.03.22 18:23
Diffstat (limited to 'tex/generic')
-rw-r--r--tex/generic/context/luatex/luatex-fonts-merged.lua7
1 files changed, 5 insertions, 2 deletions
diff --git a/tex/generic/context/luatex/luatex-fonts-merged.lua b/tex/generic/context/luatex/luatex-fonts-merged.lua
index 5786e460b..2b46a3175 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 : 03/22/13 12:06:35
+-- merge date : 03/22/13 18:23:22
do -- begin closure to overcome local limits and interference
@@ -2400,7 +2400,10 @@ file.readdata=io.loaddata
file.savedata=io.savedata
function file.copy(oldname,newname)
if oldname and newname then
- file.savedata(newname,io.loaddata(oldname))
+ local data=io.loaddata(oldname)
+ if data and data~="" then
+ file.savedata(newname,data)
+ end
end
end
local letter=R("az","AZ")+S("_-+")