Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 1998-05-28 13:34:47 -0700 (Thu, 28 May 1998) Revision: 2192 Log message:
Use cp -pf for copying %.mlz -> %.ml & %.mli