make install is make install. It is not a package manager. Get used to it. If you would like a configure switch or makefile variable to enable some nonstandard behavior for your convenience while hacking, that is fine by me. But don't get any fantasies about what the proper behavior is.
_______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://lists.gnu.org/mailman/listinfo/bug-hurd
