Bob Tennent rdtennent at
Thu Feb 27 23:57:37 CET 2020

 >|It makes no practical difference as far as I know, but ok, I changed it
 >|to /google/ for consistency. Thanks. -k

Hi Karl. I needed to find the ttf files and used tlmgr
info -list. But that sent me to the wrong place. That's a
practical issue for me :+)


More information about the tex-live mailing list.