Re: Changing the name of the PACKAGE at configure time

[Tom Tromey]

tom> There are a few tools like this.  GNU stow is one.  There is at least
tom> one other one whose name I forgot.

Paul> I think you're thinking of depot.

It wasn't depot -- I forgot all about that one.  So there's still one
more out there.

Tom