w.m.l at gmx.net
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