On Sun, 7 Dec 2003, Thomas devreese wrote:

: make replace will very likely screw a few programs dependent on it, so
: that's not an alternative.

In this case, make replace would have worked fine.  It's not always as
dangerous as it sounds.  (If the ABI has not changed, "make replace" is Just
Fine.  But knowing when the ABI has changed is a bit more complex.)

-- 
-- Todd Vierling <tv@duh.org> <tv@pobox.com>