diff options
author | Philipp Gesang <phg@phi-gamma.net> | 2015-11-09 08:03:29 +0100 |
---|---|---|
committer | Philipp Gesang <phg@phi-gamma.net> | 2015-11-09 08:03:29 +0100 |
commit | 389fe13c73832215d8486e43ed3c52f6c96f45ca (patch) | |
tree | e184668e2bc66050b99e080184ba1fee1b704c28 /src/luaotfload-main.lua | |
parent | 55945326011925fa81cca8cf2b5b9376025451a5 (diff) | |
download | luaotfload-389fe13c73832215d8486e43ed3c52f6c96f45ca.tar.gz |
[main,init] add no-op loader for fontloader files
Diffstat (limited to 'src/luaotfload-main.lua')
-rw-r--r-- | src/luaotfload-main.lua | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/luaotfload-main.lua b/src/luaotfload-main.lua index 85c9cee..686ce0e 100644 --- a/src/luaotfload-main.lua +++ b/src/luaotfload-main.lua @@ -127,11 +127,23 @@ local make_loader = function (prefix) end end +--[[doc-- + Certain files are kept around that aren’t loaded because they are part of + the imported fontloader. In order to keep the initialization structure + intact we also provide a no-op version of the module loader that can be + called in the expected places. +--doc]]-- + +local dummy_loader = function (name) + luaotfload.log.report("log", 3, "load", "Skipping module “%s”.", name) +end + local install_loaders = function () local loaders = { } local loadmodule = make_loader "luaotfload" loaders.luaotfload = loadmodule loaders.fontloader = make_loader "fontloader" + loaders.ignore = dummy_loader ----loaders.plaintex = make_loader "luatex" --=> for Luatex-Plain loaders.initialize = function (name) |