From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Mon, 31 Jul 2006 09:38:15 GMT
Subject: Re: [PATCH] gitweb: fill in gitweb configuration by Makefile
Message-ID: <Pine.LNX.4.63.0607311137360.29667@wbgn013.biozentrum.uni-wuerzburg.de>
In-Reply-To: <20060731072200.GE16364@admingilde.org>

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