To recompile the teTeX binaries, follow these instructions: 1) See the notes in README. They are *really important*!! 2) Change the pathnames in Makefile (most important: tetexdir). 3) Now, you can do: make config make make install