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 - : send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html