Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 1998-07-26 16:00:29 -0700 (Sun, 26 Jul 1998) Revision: 2364 Log message:
Changed the default camlp4 directory to /usr/lib/camlp4