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

> Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:
> 
> > 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?