Add 'install-doc' phase to install its html documentation: