> distdir run by 'make dist' provides such a convenience target.
> It does a little more, ...
OK, I can live with this :-)  Thanks for the tip, BTW.

Regards,
     Stefano


Reply via email to