diff options
Diffstat (limited to 'src/Makefile.am')
-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 c73f7dc07..addc2eb19 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -642,6 +642,11 @@ all_programs.list: # install a binary, require that all programs be built at distribution time. dist-hook: $(all_programs) +# Ensure that all programs are built so we can for example +# subsequently syntax check all man pages. +.PHONY: all_programs +all_programs: $(all_programs) + pm = progs-makefile pr = progs-readme # Ensure that the list of programs in README matches the list |