K 10 svn:author V 6 sergei K 8 svn:date V 27 2004-01-20T14:26:15.000000Z K 7 svn:log V 137 Oops - marcus did add OPTIONS already I still prefer to have near the top of the Makefile - right after the dependencies section END