4 Jul
2023
4 Jul
'23
4:57 p.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