26.05.2011, 16:57, "Anton Chernov" <mechernov at gmail.com>: >> Have you tried `make distclean`? It does the same thing > > But this does not remove the makefile, does it? Yes, it does. -- Regards, Konstantin