Robert w.m.l at
Mon Jun 1 01:49:08 CEST 2020

On 31.05.20 23:40, Karl Berry wrote:
> Well, "latex" etc. is in TL20, if that's what you mean :).

Sorry for being unclear, what I meant was that latex-dev, pdflatex-dev 
and lualatex-dev were missing, so this didn't have any effect:

> tlmgr install latex-bin # for latex,pdflatex,lualatex

but after I did
tlmgr install --reinstall latex-bin-dev

all the missing *-dev formats have been created.

So, problem solved, thanks,

More information about the tex-live mailing list.