diff options
-rw-r--r-- | man/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/man/Makefile.in b/man/Makefile.in index 56fda09c9..3ce5f6d39 100644 --- a/man/Makefile.in +++ b/man/Makefile.in @@ -188,7 +188,7 @@ ASSORT = LC_ALL=C sort programs = \ echo 'spy:;@echo $$(all_programs)' \ - | MAKEFLAGS= $(MAKE) -s -C $(srcdir)/../src -f Makefile -f - spy \ + | MAKEFLAGS= $(MAKE) -s -C ../src -f Makefile -f - spy \ | fmt -1 | $(ASSORT) -u | grep -v '\[' subdir = man @@ -508,6 +508,7 @@ check-x-vs-1: .PHONY: check-programs-vs-x check-programs-vs-x: + test "$(programs)" && : || exit 1 for p in `$(programs)`; do \ test $$p = ginstall && p=install || : ; \ test -f $(srcdir)/$$p.x \ |