On 31/03/2025 09:46, Ulrike Fischer wrote:
Am Sun, 30 Mar 2025 17:15:30 +0100 schrieb Peter Flynn:BTW if a user adds fonts, how does luaotfload detect this and re-index?if you do \setmainfont{blub} then luaotfload tries to find that and triggers an reindexing:
Ah, right. Thanks. That's what I didn't get. Peter
