Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2007-03-06 13:13:41 -0800 (Tue, 06 Mar 2007)
Revision: 10184
Log message:

      The "man" directory should be ignored I assume.