Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-15 15:41:39 -0800 (Mon, 15 Mar 1999)
Revision: 2619
Log message:
Another David Gurr's suggestion: noted that mk/config has to be edited before running make.
| Changes | Path |
| +3 -2 | metaprl/README |
| +4 -6 | metaprl/doc/htmlman/mp-install.html |