Update INSTALL.rdoc