Ignore any .html files.
Installation now installs freshly generated manpages. Installation now supports a prefix=foo argument, useful for the Debian package.