From: Junio C Hamano Date: Sat, 29 Sep 2007 22:13:25 GMT Subject: Re: [PATCH] WinGit: include html pages from official git.git's html branch Message-ID: <7vr6khjf22.fsf@gitster.siamese.dyndns.org> In-Reply-To: Johannes Schindelin writes: > 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?