![](https://secure.gravatar.com/avatar/334c4a4c42fdb79d7ebc3e73b517e6f8.jpg?s=120&d=mm&r=g)
4 Jul
2023
4 Jul
'23
10:57 a.m.
need to run the following command texfont --encoding=ec --batch type-tmf.dat Watch carefully for success on each command. My Mac OSX needs to be run under root ie sudo. I think there are still some bugs in the data file 'type-tmf.dat' but times works OK. -- Nigel