Minor clean-up: Removed some unnecessary files, and changed installation
directory of man pages to $(prefix)/share/man/man1 instead of
$(prefix)/man/man1.