Marc Recht wrote:
> Oh, we have: make replace

Yes, but -- as far as I understood -- "make replace" should rather be called
"make su-replace". A real "make replace" that works like "make install" is
missing, isn't it?

Roland