On Tue, Jul 23, 2019 at 07:43:37AM +0200, Jürgen Spitzmüller wrote: > Am Dienstag, den 23.07.2019, 00:08 +0200 schrieb Pavel Sanda: > > Are all the recent font additions reachable via texlive packaging > > (e.g. via texlive-fonts-extra > > in debian, https://packages.debian.org/sid/texlive-fonts-extra) so > > one can easily grab them > > in one shot without downloading/matching each one ? > > I just tried the url from your patch and it failed. > > Here, the fonts are installed with (vanilla) TeXLive 2019.
Great, if texlive includes the fonts we are adding I have no concerns. Pavel
