On 11/14/2010 04:16 PM, Jerker Bäck wrote:
> Nothing to do with autoconf then?

That's right.  Though they probably need to do something more complicated
than what you suggest.  Perhaps they should use gnulib's basename package;
it should do the right thing.

Reply via email to