From f88f743357df5d7c6411d6d8e61381ae7975d73b Mon Sep 17 00:00:00 2001 From: Andre Noll Date: Thu, 9 Apr 2015 13:27:16 +0000 Subject: [PATCH] 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 | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile.real b/Makefile.real index ee0bf447..289e027a 100644 --- a/Makefile.real +++ b/Makefile.real @@ -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)" \ -- 2.39.5