So, nun ist das Makefile wieder voll funktionsfähig. Detlef hat's auch schon erfolgreich getestet.
Die Probleme rührten von aufräum arbeiten her, bei denen ich einige Abhängigkeiten übersehen hatte.
Die unterschiedlich großen Makefile.config kommen daher, das ich einige persönliche Einstellungen vorgenommen habe. Die Makefile.config steht nicht unter svn, sondern wird für jeden Entwickler individuell erstellt.
Claus