diff options
Diffstat (limited to 'Build/source/texk/web2c/mfluadir')
-rw-r--r-- | Build/source/texk/web2c/mfluadir/ChangeLog | 7 | ||||
-rw-r--r-- | Build/source/texk/web2c/mfluadir/am/mflua.am | 2 | ||||
-rw-r--r-- | Build/source/texk/web2c/mfluadir/mfluac.c | 4 | ||||
-rw-r--r-- | Build/source/texk/web2c/mfluadir/mfluatrap/start_of_mf.lua (renamed from Build/source/texk/web2c/mfluadir/mfluatrap/start_of_MF.lua) | 0 |
4 files changed, 10 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/mfluadir/ChangeLog b/Build/source/texk/web2c/mfluadir/ChangeLog index bf2aef70182..c1ba1c545e6 100644 --- a/Build/source/texk/web2c/mfluadir/ChangeLog +++ b/Build/source/texk/web2c/mfluadir/ChangeLog @@ -1,3 +1,10 @@ +2016-04-12 Karl Berry <karl@tug.org> + + * mfluac.c (mfluaPREstartofMF): look for start_of_mf.lua + rather than start_of_MF.lua. + * mfluatrap/start_of_mf.lua: rename file. + * install mfluatrap/*.lua in Master/texmf-dist/scripts/mflua. + 2016-04-05 Karl Berry <karl@tug.org> * am/mflua.am: no need for inimflua. diff --git a/Build/source/texk/web2c/mfluadir/am/mflua.am b/Build/source/texk/web2c/mfluadir/am/mflua.am index ee9744df910..177f85884d2 100644 --- a/Build/source/texk/web2c/mfluadir/am/mflua.am +++ b/Build/source/texk/web2c/mfluadir/am/mflua.am @@ -145,6 +145,6 @@ EXTRA_DIST += \ mfluadir/mfluatrap/print_path.lua \ mfluadir/mfluatrap/scan_direction.lua \ mfluadir/mfluatrap/skew_line_edges.lua \ - mfluadir/mfluatrap/start_of_MF.lua \ + mfluadir/mfluatrap/start_of_mf.lua \ mfluadir/mfluatrap/texmf.cnf \ mfluadir/mfluatrap/mfluatrap.diffs diff --git a/Build/source/texk/web2c/mfluadir/mfluac.c b/Build/source/texk/web2c/mfluadir/mfluac.c index 3945f09e494..38638fdf57a 100644 --- a/Build/source/texk/web2c/mfluadir/mfluac.c +++ b/Build/source/texk/web2c/mfluadir/mfluac.c @@ -466,10 +466,10 @@ int mfluaPREstartofMF(void) int res; L = Luas[0]; - luafile = kpse_find_file("start_of_MF.lua", kpse_lua_format, 0); + luafile = kpse_find_file("start_of_mf.lua", kpse_lua_format, 0); if (luafile==NULL) { res = 1; - lua_pushstring(L,"start_of_MF.lua not found"); + lua_pushstring(L,"start_of_mf.lua not found"); priv_lua_reporterrors(L, res); return 0; } diff --git a/Build/source/texk/web2c/mfluadir/mfluatrap/start_of_MF.lua b/Build/source/texk/web2c/mfluadir/mfluatrap/start_of_mf.lua index 7c24087ca5d..7c24087ca5d 100644 --- a/Build/source/texk/web2c/mfluadir/mfluatrap/start_of_MF.lua +++ b/Build/source/texk/web2c/mfluadir/mfluatrap/start_of_mf.lua |