Hi Karl, > > The main thing I need to even make a start at debugging the binary is > the exact invocation of the tex4ht executable (and t4ht, if it makes > that far). > I think it is tex4ht -utf8 -cunihtf <filename.dvi> Best Michal