> At first (after reading the Makefile) I had tried a simple "touch > src/.devel" and do everything over again. But then the sources didn't > compile properly (didn't look for the reason thereafter). Creating a src/.devel file is indeed the simplest way to go. Arno