'make mrproper' does not delete all generated files

[Ralf Friedl]

walter harms wrote:
> Am 06.06.2011 09:26, schrieb Cristian Ionescu-Idbohrn:
>   
>> Advertized in the Makefile:
>>
>> # make mrproper  Delete the current configuration, and all generated files
>>
>> Still:
>>
>> include/applets.h:/* DO NOT EDIT. This file is generated from applets.src.h */
>> include/usage.h:/* DO NOT EDIT. This file is generated from usage.src.h */
>>
>> are not deleted
> when we add a marker like "DO NOT EDIT" we can get most of them like
> rm $( grep -lR "DO NOT EDIT" *)
>   
But that requires to read every file in the directory.
More important, it will delete the programs that generate these files, 
unless the "DO NOT EDIT" in them is properly protected.

Better place all generated files in a separate directory or use some 
naming convention.

Ralf