WinGit: include html pages from official git.git's html branch
commit495f6919fbbc645d2c64afe6169cfb1e9ed1abec
authorSteffen Prohaska <prohaska@zib.de>
Sat, 29 Sep 2007 15:12:03 +0000 (29 17:12 +0200)
committerSteffen Prohaska <prohaska@zib.de>
Thu, 4 Oct 2007 21:51:55 +0000 (4 23:51 +0200)
tree13f2e2f86cafef1f6b4fde79d17877d7b9265dfe
parentf062fad1288d11d1479f13ff51b5a6b8efe1bea5
WinGit: include html pages from official git.git's html branch

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. The html pages should be at the right place,
which can be handled as a submodule of msysgit.

Signed-off-by: Steffen Prohaska <prohaska@zib.de>
share/WinGit/release.sh