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
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-