Build HTML documentation and install it.