Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-13 18:31:45 -0700 (Fri, 13 May 2005)
Revision: 1019
Log message:
Temporatily removing the new Tetex_config stuff (and the hostname-suffixing of
the .omo files), until we figure come up with a more fundamental solution to
the configure-once problem.
I will create a "configure" branch shortly and I will re-add the files there.