Index: BOOK/x86_64-index.xml =================================================================== --- BOOK/x86_64-index.xml (revision e6127bbed6034b50f8af918ac15789fc12288f07) +++ BOOK/x86_64-index.xml (revision 88acd8a008611e31bf6aae762a6c11519d4a58d0) @@ -59,5 +59,5 @@