"Kayvan A. Sylvan" <[EMAIL PROTECTED]> writes:

| On Tue, Apr 02, 2002 at 01:32:45PM +0200, Jean-Marc Lasgouttes wrote:
>> >>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:
>> 
>> Lars> but then the later fix of changing $$(file) to $$file was fixing
>> Lars> this then? Or should it be changed back to $${file}?
>> 
>> $${files} is the best form, I think. I found one $$files in
>> lib/Makefile.am, but it is debug output I forgot to remove... I'll
>> remove it.
>> 
>> JMarc
>
| Yes, $${files} is best.

why?

-- 
        Lgb

Reply via email to