On Thu, Nov 15, 2001 at 11:51:21PM +0100, Neal H Walfield wrote: > Now that we have nice tag files, they should be deleted when the user > runs `make distclean'.
This looks quite good to me. I think you can check it in (I suppose you have tested it). Thanks, Marcus -- `Rhubarb is no Egyptian god.' Debian http://www.debian.org [EMAIL PROTECTED] Marcus Brinkmann GNU http://www.gnu.org [EMAIL PROTECTED] [EMAIL PROTECTED] http://www.marcus-brinkmann.de _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
