From: Johannes Schindelin Date: Sat, 29 Sep 2007 20:50:58 GMT Subject: Re: [PATCH] WinGit: include html pages from official git.git's html branch Message-ID: In-Reply-To: <11910819542185-git-send-email-prohaska@zib.de> 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. Ciao, Dscho