> I guess the right thing would be to exclude it always and just have > a make install-config target that does make -C config install. > > Untested. > > 2004-12-18 Alfred M. Szmidt <[EMAIL PROTECTED]> > > * Makefile (other-subdirs): `config' removed. > (install-config): New target.
On second thought, that breaks make dist, possibly among other things. Just commit your original config/Makefile patch. _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://lists.gnu.org/mailman/listinfo/bug-hurd
