Re: [PATCH] WinGit: include html pages from official git.git's html branch

From: Junio C Hamano <gitster@pobox.com>
Date: Sep 29, 2007, 22:13 UTC
Message-ID: <7vr6khjf22.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <Pine.LNX.4.64.0709292149280.28395@racer.site>

Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:

Show 15 quoted lines

> Hi,
>
> On Sat, 29 Sep 2007, Steffen Prohaska wrote:
>
>> It is assumed that a matching version of the html documentation
>> is available as the HEAD of /doc/git/html/.git. If not an error
>> will be reported.
>> 
>> This patch doesn't include a mechanism to fetch the html pages
>> to /doc/git/html/.git. You should manually clone them. Maybe
>> this could handled as a submodule of msysgit?
>
> I'd rather handle it as in git.git, as another branch, and not check it 
> out in /git/html/, but rather use "git read-tree 
> --prefix=/tmp/WinGit/share/git/html origin/html", or some such.

This is starting to smell like an opportunity to use the gitlink stuff, isn't it?