Update INSTALL.rst