Through the dubious magic of autoconf, install man files in the proper directory.