428
435
if test -f "$$d$$p"; then echo "$$d$$p"; else :; fi; done`; \
430
437
grep 'ab help2man is required to generate this page' $$list >/dev/null; then \
432
439
grep -l 'ab help2man is required to generate this page' $$list | sed 's/^/ /' >&2; \
433
440
echo " to fix them, install help2man, remove and regenerate the man pages;" >&2; \