Subject: Re: bug#12412: 24.2.50; `make distclean' does not remove .elc files
From: Glenn Morris <[email-masked]>
To: [email-masked]
Date: Tue, 11 Sep 2012 12:23:24 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

(Yes, "You" did not mean "you, Bastien" :) )

Bastien wrote:

> I continue to think having a ̀make help' would spare everyone's time 
> by answering such questions in advance.

Since there is a separate report about that I'll close this one.