>> 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