GNUmakefile not removed...

[Wolfgang Grandegger]

Hi Philippe,

in vesuvio, a "make distclean" does not remove the GNUmakefile(s).

Wolfgang.