Add a fake do-nothing man/man3/*.3 target to make "make all" happy