Re: Gnumach clean: Need advice, re Header files

[Roland McGrath]

include/ is for installed headers.  None of those should be added.


_______________________________________________
Bug-hurd mailing list
Bug-hurd@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-hurd