On Sun, Mar 24, 2002 at 09:23:02PM +0100, Attila Kinali wrote: > It's only deleted if you do a make distclean Yes, but apparently the makefile runs distclean target after CVS updates and config changes...