> The only issue is with headers that are  
> removed from the source tree without updating Foundation.h, since the  
> old header still may be present in the installed location (I don't  
> know whether gnustep-make prunes the header directories upon make  
> install. Nicola?)

No, it doesn't prune existing headers from the header directories.

That is an interesting idea though.  Hmmm.

Thanks


_______________________________________________
Gnustep-dev mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/gnustep-dev

Reply via email to