Document building docs in INSTALL.md.