Re: [tex4ht] SearchFonts.java?

2020-06-05 Thread Michal Hoftich
Hi Karl > And what does it do? Evidently it looks in tex4ht-fonts-modern.tex > .. for something ... maybe Eitan used it to generate the htf > definitions? The supposed "pattern.file" and usage in general is > mysterous to me. --thanks, karl. I didn't know about the existence of this one. It seems

[tex4ht] SearchFonts.java?

2020-06-05 Thread Karl Berry
Oh, I forgot to mention -- I didn't reenable SearchFonts.java from fonts-noncjk. It would be easy enough to do so, but it seems weird for that one small Java file to be in the middle of all the font definitions. Is it ever used? I couldn't find it. And what does it do? Evidently it looks in tex4ht-