From 5c195236a1a69b23762df71a791e6b4e2c671892 Mon Sep 17 00:00:00 2001 From: Hans Hagen Date: Tue, 29 Oct 2019 16:18:49 +0100 Subject: 2019-10-29 15:08:00 --- tex/generic/context/luatex/luatex-fonts-merged.lua | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'tex/generic') diff --git a/tex/generic/context/luatex/luatex-fonts-merged.lua b/tex/generic/context/luatex/luatex-fonts-merged.lua index e856248cb..b8a21fc93 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 : 10/28/19 18:12:38 +-- merge date : 10/29/19 15:00:00 do -- begin closure to overcome local limits and interference @@ -20,6 +20,9 @@ if LUAVERSION<5.2 and jit then MINORVERSION=2 LUAVERSION=5.2 end +if lua and lua.openfile then + io.open=lua.openfile +end if not lpeg then lpeg=require("lpeg") end -- cgit v1.2.3