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)
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

index ee0bf44..289e027 100644 (file)
@@ -174,7 +174,8 @@ $(man_dir)/para_server.1: man_util_command_lists := $(server_command_lists)
 $(man_dir)/para_audiod.1: man_util_command_lists := $(audiod_command_lists)
 $(man_dir)/para_play.1: man_util_command_lists := $(play_command_lists)
 
-$(man_dir)/para_%.1: $(ggo_dir)/%.ggo man_util.bash | $(man_dir) $(help2man_dir)
+$(man_dir)/para_%.1: $(ggo_dir)/%.ggo man_util.bash \
+               git-version.h | $(man_dir) $(help2man_dir)
        @[ -z "$(Q)" ] || echo 'MAN $<'
        $(Q) \
                COMMAND_LISTS="$(man_util_command_lists)" \