Documentation: Replace @@GIT_VERSION@@ in documentation
commit7b8a74f39cbd58b514dce963e7a571904508661b
authorFrank Lichtenheld <frank@lichtenheld.de>
Sun, 25 Mar 2007 11:56:49 +0000 (25 13:56 +0200)
committerJunio C Hamano <junkio@cox.net>
Wed, 28 Mar 2007 23:48:50 +0000 (28 16:48 -0700)
tree97a74c2a568661161102383796a65f4daaed1389
parent7685227e973fce34340d3766b1775263751afa56
Documentation: Replace @@GIT_VERSION@@ in documentation

Include GIT-VERSION-FILE and replace @@GIT_VERSION@@ in
the HTML and XML asciidoc output. The documentation
doesn't depend on GIT-VERSION-FILE so it will not be
automatically rebuild if nothing else changed.

[jc: fixing the case for interrupted build]

Signed-off-by: Frank Lichtenheld <frank@lichtenheld.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Documentation/Makefile