* Michael Sperber <sperber at deinprogramm.de>: > > make clean doesn't do that? > > I don't think so. I was surprised myself. There's make extraclean Does that help? norbert.