Index: BOOK/mips-index.xml =================================================================== --- BOOK/mips-index.xml (revision 9c17033b5ea5e4f5030eacd6025617bc01f0742a) +++ BOOK/mips-index.xml (revision e97d7d38a1c90c746d99e21fd9f6e5766d5b4cd9) @@ -55,5 +55,5 @@ -