Re: fonts/tetex

[Frans Goddijn]

> So I'll probably set up my own tetex stuff.
> (Actually, one quarter is already working)

If you can document it in a way that makes it workable for others as well
that would be great!