Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-09-18 23:36:31 -0700 (Mon, 18 Sep 2000)
Revision: 3064
Log message:

      Documentation Makefiles hacking:
      - Added "texbyte and texopt" in edimor/ml to force using byetcode/native code
      MetaPRL for generating TeX files. "make tex" would use opt if available
      and bytecode otherwise.
      
      - More dependencies to make sure the files are being regenerated as necessary.
      

Changes	Path
Properties	metaprl/doc/latex/theories
+33 -14	metaprl/doc/latex/theories/Makefile
Properties	metaprl/doc/ps/theories
+21 -13	metaprl/editor/ml/Makefile