Actually install the new man pages.
.gitignore: Add "html" directory