On 08/31/2012 02:53 PM, Akim Demaille wrote:
>
> Le 11 août 2012 à 20:57, Stefano Lattarini a écrit :
>
>> + $clean_files{"$dpfx.dvi"} = CLEAN;
>> + $clean_files{"$dpfx.pdf"} = CLEAN;
>> + $clean_files{"$dpfx.ps"} = CLEAN;
>
> I should probably read at the whole code, but really, this has always seemed
> reversed to me: why $clean_files{"clean"} not be the @list of files to clean,
> and so forth?
>
Not sure. That was the pre-existing idiom, and I've never found any compelling
reason to change it.
Regards,
Stefano