Andreas Enge <andr...@enge.fr> skribis:

> Actually, it turns out that tlpkg is also used by updmap; so please disregard
> my previous message.

Oh, that’s unexpected if tlmgr is some sort of package/update manager.

Ludo’.

Reply via email to