diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/mkimport | 19 | ||||
| -rwxr-xr-x | scripts/mkstatus | 1 |
2 files changed, 12 insertions, 8 deletions
diff --git a/scripts/mkimport b/scripts/mkimport index 93f4b89..1dc0a29 100755 --- a/scripts/mkimport +++ b/scripts/mkimport @@ -237,6 +237,7 @@ local imports = { { name = "font-ini" , ours = "font-ini" , kind = kind_merged }, { name = "font-lua" , ours = "font-lua" , kind = kind_merged }, { name = "font-map" , ours = "font-map" , kind = kind_merged }, + { name = "font-ocl" , ours = "font-ocl" , kind = kind_merged }, { name = "font-onr" , ours = "font-onr" , kind = kind_merged }, { name = "font-one" , ours = "font-one" , kind = kind_merged }, { name = "font-osd" , ours = "font-osd" , kind = kind_merged }, @@ -307,14 +308,15 @@ local package = { --- [32] font-ota.lua --- [33] font-ots.lua --- [34] font-osd.lua ---- [35] font-onr.lua ---- [36] font-one.lua ---- [37] font-afk.lua ---- [38] font-lua.lua ---- [39] font-def.lua ---- [40] font-xtx.lua ---- [41] luatex-fonts-ext.lua ---- [42] font-gbn.lua +--- [35] font-ocl.lua +--- [36] font-onr.lua +--- [37] font-one.lua +--- [38] font-afk.lua +--- [39] font-lua.lua +--- [40] font-def.lua +--- [41] font-xtx.lua +--- [42] luatex-fonts-ext.lua +--- [43] font-gbn.lua --- --- Of these, nos. 01--11 are provided by the Lualibs. Keeping them --- around in the Luaotfload fontloader is therefore unnecessary. @@ -372,6 +374,7 @@ local package = { "font-ota", "font-ots", "font-osd", + "font-ocl", "font-onr", "font-one", "font-afk", diff --git a/scripts/mkstatus b/scripts/mkstatus index 5b29913..10f6680 100755 --- a/scripts/mkstatus +++ b/scripts/mkstatus @@ -113,6 +113,7 @@ local names = { { miscdir, "fontloader-font-ota.lua", }, { miscdir, "fontloader-font-ots.lua", }, { miscdir, "fontloader-font-osd.lua", }, + { miscdir, "fontloader-font-ocl.lua", }, --- lua libraries { miscdir, "fontloader-languages.lua", }, |