Hi, On Mon, 31 Jul 2006, Martin Waitz wrote: > > I don't like it. While this method works, it is too much effort > > to have to run make to do this, plus it pollutes your tree. > > Do you really think it is that much effort? > What do others think? alternatives? I think it is worth it, and it is cleaner. The only drawback: we have to stuff it somehow into git-instaweb... Ciao, Dscho - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.htmlReceived on Mon Jul 31 19:38:53 2006
This archive was generated by hypermail 2.1.8 : 2006-07-31 19:40:29 EST