K 10 svn:author V 6 gerald K 8 svn:date V 27 2012-09-01T20:46:57.803914Z K 7 svn:log V 94 Convert to the new options framework. Remove now deprecated comments at the top of Makefile. END