Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-23 12:36:43 -0700 (Thu, 23 Oct 2003)
Revision: 5034
Log message:

      "omake doc" include doc/ps/theories/{theories,ocaml-book}.{ps,pdf}
      

Changes	Path
+1 -1	metaprl/doc/latex/theories/OMakefile
+0 -1	metaprl/doc/ps/theories/OMakefile
+1 -1	metaprl/theories/ocaml_doc/OMakefile