diff options
| -rw-r--r-- | src/Makefile.am | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index fff5a9a59..a03c16eca 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -373,6 +373,11 @@ all_programs.list: @echo $(all_programs) | tr ' ' '\n' | sed -e 's,$(EXEEXT)$$,,' \ | $(ASSORT) -u +# This is required because we have broken inter-directory dependencies: +# in order to generate all man pages, even those for which we don't +# install a binary, require that all programs be built at distribution time. +dist-hook: $(all_programs) + pm = progs-makefile pr = progs-readme # Ensure that the list of programs in README matches the list |