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

Andreas


Reply via email to