From 8d30ee280d6fb2db6268bf6f839c5f93193a6925 Mon Sep 17 00:00:00 2001 From: Hans Hagen Date: Thu, 14 Nov 2019 21:26:50 +0100 Subject: 2019-11-14 17:17:00 --- tex/generic/context/luatex/luatex-fonts-merged.lua | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'tex/generic/context') diff --git a/tex/generic/context/luatex/luatex-fonts-merged.lua b/tex/generic/context/luatex/luatex-fonts-merged.lua index 76ddc0b62..c409933f5 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 : c:/data/develop/context/sources/luatex-fonts-merged.lua -- parent file : c:/data/develop/context/sources/luatex-fonts.lua --- merge date : 11/12/19 23:58:31 +-- merge date : 11/14/19 17:07:21 do -- begin closure to overcome local limits and interference @@ -2174,7 +2174,7 @@ local open,flush,write,read=io.open,io.flush,io.write,io.read local byte,find,gsub,format=string.byte,string.find,string.gsub,string.format local concat=table.concat local type=type -if string.find(os.getenv("PATH"),";",1,true) then +if string.find(os.getenv("PATH") or "",";",1,true) then io.fileseparator,io.pathseparator="\\",";" else io.fileseparator,io.pathseparator="/",":" -- cgit v1.2.3