On 01/22/2014 06:09 PM, Herbert Schulz wrote: [...] > I'm not sure that is necessary if it was run before. First, > updmap-sys never `looks' in the local texmf tree and `sudo -H` > changes HOME from the user's HOME to root's default HOME. I see. I guess you're right. Best Axel