Subject: Re: bug#10261: 24.0.92; The "dist" makefile target & the "--distfiles" configure option

From: Eli Zaretskii <[email-masked]>
Date: Wed, 15 Feb 2012 19:05:10 +0200

> Date: Wed, 15 Feb 2012 09:30:29 +0100
> From: Dani Moncayo <[email-masked]>
> Cc: [email-masked], [email-masked]
> 
> >   @if [ ! $(ARGQUOTE)$(DIST_FILES)$(ARGQUOTE) = "" ] ; then \
> >
> > i.e., one '=', not 2.
> 
> For the record: I tried this, and it didn't make a difference.

If you remove the @ prefix from that line, what does Make display for
this command?  (I want to see what does the $(ARGQUOTE) magic expand
to.)