Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-10-26 13:47:53 -0700 (Tue, 26 Oct 1999)
Revision: 2826
Log message:

      - Added documentation on how to convert documentation .PS and .PDF formats.
      
      - Removed mp-frame.html - as far as I can see, it is just an outdated
      version of mp.html
      
      - Added more HTML files to system.{ps,pdf}
      

Changes  Path
+5 -0 metaprl/Makefile
+8 -3 metaprl/doc/Makefile
Deleted metaprl/doc/htmlman/mp-frame.html
+4 -1 metaprl/doc/htmlman/mp-install.html
+5 -2 metaprl/doc/htmlman/mp-people.html
+5 -1 metaprl/doc/htmlman/mp.html
+2 -1 metaprl/doc/htmlman/system/mp-auto-tactic.html
+1 -1 metaprl/doc/htmlman/system/mp-base-cache.html
+113 -113 metaprl/doc/htmlman/system/mp-base-syntax.html
+1 -1 metaprl/doc/htmlman/system/mp-type-inf-rsrc.html