Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-06 16:39:23 -0800 (Thu, 06 Jan 2005)
Revision: 746
Log message:

      rm -r now works--it was using Unix.rmdir instead of Unix.unlink to
      remove normal files.
      

Changes	Path
+1 -1	omake/doc/html/omake.html
+1 -1	omake/src/build/omake_builtin_file.ml