diff options
Diffstat (limited to 'man')
| -rw-r--r-- | man/Makefile.am | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/man/Makefile.am b/man/Makefile.am index ac0d36329..c6850df2e 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -154,15 +154,14 @@ check-x-vs-1: | $(ASSORT) | diff - $$t || { rm $$t; exit 1; }; \ rm $$t -programs = \ - echo 'spy:;@echo $$(all_programs)' \ - | MAKEFLAGS= $(MAKE) -s -C ../src -f Makefile -f - spy \ - | ../src/tr -s ' ' '\n' | $(ASSORT) -u | grep -v '\[' +all_programs = \ + (cd ../src && MAKEFLAGS= $(MAKE) -s all_programs.list) \ + | grep -v '\[' .PHONY: check-programs-vs-x check-programs-vs-x: status=0; \ - for p in dummy `$(programs)`; do \ + for p in dummy `$(all_programs)`; do \ test $$p = dummy && continue; \ test $$p = ginstall && p=install || : ; \ test -f $(srcdir)/$$p.x \ |