Revert "Add an empty man/man3 dir so "make install" works from checkout dir"

This reverts commit c068d2d345c9fa9b2fe3b13a18c9cce374072937.
Make a fake man page to satisfy make install when run from checkout