Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-05-12 20:04:16 -0700 (Thu, 12 May 2005)
Revision: 1003
Log message:

      Determine the Tetex config at omake run time, for better binary portability.
      
      The current model defines a Tetex_config object, so the first time you
      run omake, you determine the config to be used in all subsequent runs.
      
      I haven't remove the configure variable until we see how well this
      works.
      

Changes	Path
Properties	omake
+1 -0	omake/.cvsignore
+4 -1	omake/Makefile.in
+4 -1	omake/Makefile.nt
+6 -9	omake/OMakefile.in
+15 -16	omake/OMakeroot.src.in
Added	omake/Tetex_config
Properties	omake/Tetex_config
Added	omake/Tetex_config.src
Properties	omake/Tetex_config.src
+29 -1	omake/src/build/omake_builtin_file.ml