Changes by: Jason Hickey (jyh at cs.caltech.edu) Date: 2005-08-05 14:11:02 -0700 (Fri, 05 Aug 2005) Revision: 1290 Log message:
Turn off man pages for Win32.