Rebuild man pages when ANY of its sources change

i.e., AUTHORS or config.h