build: Let man pages depend on git-version.h.
authorAndre Noll <maan@tuebingen.mpg.de>
Thu, 9 Apr 2015 13:27:16 +0000 (13:27 +0000)
committerAndre Noll <maan@tuebingen.mpg.de>
Thu, 17 Mar 2016 17:32:44 +0000 (18:32 +0100)
commitf88f743357df5d7c6411d6d8e61381ae7975d73b
treedc82f5858e202aefc189edf9674bbcb545c01220
parent9b8cece0f67b0445dd66a9d2a89b9e69d2540173
build: Let man pages depend on git-version.h.

This is necessary to always include the correct version number in
the man pages. For example, if the work tree becomes dirty because
an unrelated file has been modified, the version string changes and
we need to regenerate the man pages.
Makefile.real