diff options
| -rw-r--r-- | src/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index ecb42a8b0..5af6e8536 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -642,6 +642,7 @@ all_programs.list: # 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) +.PHONY: dist-hook # Ensure that all programs are built so we can for example # subsequently syntax check all man pages. |