On 2019-07-29, <tomas@tuxteam.de> <tomas@tuxteam.de> wrote: > > (this is an oldstable Debian). > > Perhaps the thing you're looking for is simply spelt "updmap"? curty@einstein:~$ apt-cache show texlive-base | grep -i updmap updmap-map -- So simply spelt 'updmap-map', I guess. > Cheers -- “We are all in the gutter, but some of us are looking at the stars.” ― Oscar Wilde, Lady Windermere's Fan