diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2016-07-07 07:38:09 +0200 | 
|---|---|---|
| committer | Philipp Gesang <phg@phi-gamma.net> | 2016-07-07 07:42:36 +0200 | 
| commit | 5488311b07aca41b6b5c6c80f8fcc3c304edc45b (patch) | |
| tree | f0e343d9bcf16d0e75aeb018fe186b8d0dce853f | |
| parent | 695225198ec64b4d3248268b0ca679251197b2d4 (diff) | |
| download | luaotfload-5488311b07aca41b6b5c6c80f8fcc3c304edc45b.tar.gz | |
[tool] update load sequence for font-tfm
Also set a dummy ``pdf`` table that is referenced in the file. Whether
we actually need font-tfm in luaotfload-tool should be reevaluated at
some point before 2.8.
| -rwxr-xr-x | src/luaotfload-tool.lua | 6 | 
1 files changed, 4 insertions, 2 deletions
| diff --git a/src/luaotfload-tool.lua b/src/luaotfload-tool.lua index bc9e425..fee5980 100755 --- a/src/luaotfload-tool.lua +++ b/src/luaotfload-tool.lua @@ -8,7 +8,7 @@  -----------------------------------------------------------------------  luaotfload                     = luaotfload or { } -local version                  = "2.7" +local version                  = "2.8"  luaotfload.version             = version  luaotfload.min_luatex_version  = { 0, 95, 0 }   --- i. e. 0.95.0  luaotfload.self                = "luaotfload-tool" @@ -138,13 +138,14 @@ require "fontloader-basics-gen.lua"  texio.write, texio.write_nl          = backup.write, backup.write_nl  utilities                            = backup.utilities +pdf = pdf or { } --- for font-tfm +  require "fontloader-data-con"  require "fontloader-font-ini"  require "fontloader-font-con"  require "fontloader-fonts-enc"  require "fontloader-font-cid"  require "fontloader-font-map" -require "fontloader-font-tfm"  require "fontloader-font-oti"  require "fontloader-font-otr"  require "fontloader-font-cff" @@ -160,6 +161,7 @@ require "fontloader-font-oto"  require "fontloader-font-onr"  require "fontloader-font-one"  require "fontloader-font-afk" +require "fontloader-font-tfm"  require "fontloader-font-lua"  require "fontloader-font-def"  require "fontloader-fonts-ext" | 
