Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-05-13 11:58:22 -0700 (Fri, 13 May 2005)
Revision: 1012
Log message:

      Added the hostname to .omo files and resurrected Tetex_config.
      
      Lets not squash all the configs into one huge file; it is less
      modular that way.
      

Changes	Path
+4 -1	omake/Makefile.in
+4 -1	omake/Makefile.nt
+4 -1	omake/OMakefile.in
+4 -6	omake/OMakeroot.src.in
Added	omake/Tetex_config
Properties	omake/Tetex_config
Added	omake/Tetex_config.src
Properties	omake/Tetex_config.src
+4 -2	omake/src/eval/omake_eval.ml