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 that it prints the character table for HTF font from tex4ht-fonts-modern.tex. Like this: java SearchFonts -xrpxb tex4ht-fonts-modern.tex I don't know how this is useful and I don't think it is used at all anywhere. So we can just disable this, I think. Best, Michal