From e263928dfb028952384103d1edc98cea467d4555 Mon Sep 17 00:00:00 2001 From: Philipp Gesang Date: Mon, 27 May 2013 22:38:01 +0200 Subject: log duplicate fonts --- luaotfload-database.lua | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'luaotfload-database.lua') diff --git a/luaotfload-database.lua b/luaotfload-database.lua index e7d4bf9..65f2bf7 100644 --- a/luaotfload-database.lua +++ b/luaotfload-database.lua @@ -1489,6 +1489,18 @@ local gen_fast_lookups = function (fontnames) --- this will overwrite existing entries for i=1, #lst do local idx, base, bare, intexmf, full = unpack(lst[i]) + + local known = filenames.base[base] or filenames.bare[bare] + if known then --- known + report("both", 1, "db", + "font file “%s” already indexed (%d)", + base, idx) + report("both", 2, "db", "> old location: %s", + (filenames.full[known] or "texmf")) + report("both", 2, "db", "> new location: %s", + (intexmf and "texmf" or full)) + end + filenames.bare[bare] = idx filenames.base[base] = idx if intexmf == true then -- cgit v1.2.3