Build and install the HTML documentation and regenerate the man pages