Re: missing help2man

[Karl Berry]

    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