Index: BOOK/mips-index.xml
===================================================================
--- BOOK/mips-index.xml (revision aa18ac0dfa54bd2e81d13478cc1f60d6b4585ea6)
+++ BOOK/mips-index.xml (revision 0531d7ade37fd4e172c097273c80116ff2ba4523)
@@ -71,5 +71,4 @@
-