[Cocci] Deletion of generated files from source file repository?

[Julia Lawall]

On Tue, 28 Feb 2012, SF Markus Elfring wrote:

>> If the sources are newer than the generated file, the tool (in this case 
>> 'menhir')
>> should be invoked by the Makefile and should be required to produce a new 
>> generated file.
>
> Are the needed dependencies completely specified in the affected build files 
> already?
> Does the configuration script need any updates eventually?

No.

julia