diff options
author | Hans Hagen <pragma@wxs.nl> | 2019-11-14 21:26:50 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2019-11-14 21:26:50 +0100 |
commit | 8d30ee280d6fb2db6268bf6f839c5f93193a6925 (patch) | |
tree | 77bb0a1bb8a4b0d0a3377cf94595bd513ae8a2d3 /tex/generic/context/luatex/luatex-fonts-merged.lua | |
parent | 96dfd6389ee5b1214b5fdd09c39d85ea383fc7f5 (diff) | |
download | context-8d30ee280d6fb2db6268bf6f839c5f93193a6925.tar.gz |
2019-11-14 17:17:00
Diffstat (limited to 'tex/generic/context/luatex/luatex-fonts-merged.lua')
-rw-r--r-- | tex/generic/context/luatex/luatex-fonts-merged.lua | 4 |
1 files changed, 2 insertions, 2 deletions
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="/",":" |