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

Reply via email to