* doc/install.texi (mips-sgi-irix5): Add missing