On 2019-07-29, <to...@tuxteam.de> <to...@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