[build] Build documentation and install HTML files.