>> These patches make two changes: the primary makefile will continue
>> even if `Makeconf' does not exist; 
>
> Why is this useful?  Makeconf is a source file; it always exists.
>  
> I made the changes I think you really wanted.  

Er, of course, Sorry about that.  I knew what I wanted to do, however,
I did not properly clean my repository when I check my changes, sorry
about that.

> Now make TAGS works in the source directory.

> I have found tags in the generated stubs useful sometimes.
> The old code gives you that, if you want to do make TAGS in a build directory.
> We could do that in the configured case.

This sounds reasonable.


_______________________________________________
Bug-hurd mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-hurd

Reply via email to