Check that none of the man pages contain the error message. If any
do, error out with a descriptive message.
Ok, sounds good.
We could also move such a check into 'distcheck'. That way 'dist' could
still work if you don't have help2man, only 'distcheck' wouldn't.
I think it would be best for both make dist and make distcheck to fail
if help2man is not available and those spuriously-generated man pages
somehow crept in. That is the only time (making a distribution) that it
really matters!
Thanks,
Karl
