diff options
author | Norbert Preining <norbert@preining.info> | 2023-06-25 03:00:46 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2023-06-25 03:00:46 +0000 |
commit | af81f7c9824b89002c882d1425479009b3186b4b (patch) | |
tree | a5f3286a662dd9cc12267c3a35f91c3895c5e5f1 /support/luafindfont/scripts | |
parent | 36c52277a7e7e1b9f3de0286cfd1f5931a60d802 (diff) |
CTAN sync 202306250300
Diffstat (limited to 'support/luafindfont/scripts')
-rwxr-xr-x | support/luafindfont/scripts/luafindfont.lua | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/support/luafindfont/scripts/luafindfont.lua b/support/luafindfont/scripts/luafindfont.lua index 54a507c452..a1d554b5ae 100755 --- a/support/luafindfont/scripts/luafindfont.lua +++ b/support/luafindfont/scripts/luafindfont.lua @@ -1,6 +1,6 @@ #!/usr/bin/env texlua -- --- $Id: luafindfont.lua 734 2023-06-21 10:04:46Z herbert $ +-- $Id: luafindfont.lua 735 2023-06-22 19:12:29Z herbert $ ----------------------------------------------------------------------- -- FILE: luafindfont.lua -- DESCRIPTION: search for fonts in the database @@ -8,7 +8,7 @@ -- AUTHOR: Herbert Voß (C) 2023-06-21 ----------------------------------------------------------------------- luafindfont = luafindfont or { } - local version = 0.12 + local version = 0.13 luafindfont.version = version --[[ @@ -324,7 +324,9 @@ table.sort(fontDataMap, return false else return string.lower(a["basename"]) < string.lower(b["basename"]) - end end) + end +end) + -- strip duplicates local newFontDataMap = {} if #fontDataMap > 0 then @@ -403,7 +405,13 @@ for i, v in ipairs(fontList) do if string.len(exrun:read('*all')) > 0 then kpsewhich = "1" end + else + print("!!! There maybe a problem with font "..v["basename"].." kpsewhich doesn't work") + print(tostring(exrun)) + kpsewhich = "0" + os.exit() end + exrun:close() end if (font_str ~= "*") and not noSymbolicNames then if args_xetex > 0 then |