David Wright <deb...@lionunicorn.co.uk> writes: > On Mon 29 Jul 2019 at 19:56:32 (-0000), Curt wrote: >> 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. > > On stretch, it seems it's just updmap
Thanks all, that seems to be the case... Rodolfo
