Perhaps there is a headers_install target, or something like that. There is, headers-install. And it works like a charm.
_______________________________________________ Help-hurd mailing list [EMAIL PROTECTED] http://lists.gnu.org/mailman/listinfo/help-hurd
