K 10 svn:author V 5 assar K 8 svn:date V 27 2001-11-06T04:30:15.000000Z K 7 svn:log V 161 use cp instead of mv to get the right name of the yacc-generated files, mv fails badly with parallel makes Submitted by: Vincent Poy END