On 21 May 2011 at 21:30, Karl Berry wrote: > I have reverted updmap.pl to be the previous > version, so hopefully tonight's update will rectify things. Karl, everything's fine again. After "tlmgr update --all" updmap-sys ran without error. Thanks. -- Uwe