Eli Barzilay writes:
> > Doesn't `make install' run ./install, no?
>
> At the end of `make install' it will tell you if you need to run
> ./install or not.
This always seemed kind of weird to me... why can't `make install' run
the script itself if needed? Ditto for setup-plt.
--dougo at place.org