Re: [PATCH] gitweb: fill in gitweb configuration by Makefile
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Jul 31, 2006, 09:38 UTC
- 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:
Show 5 quoted lines
> > 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