K 10 svn:author V 5 wosch K 8 svn:date V 27 1998-08-11T11:43:53.000000Z K 7 svn:log V 133 Remove the quotes from exists("filename"). Make(1) considered the quotes as part of the filename. Submitted by: volf@oasis.IAEhv.nl END