diff --git a/doc/pdp10_doc.doc b/doc/pdp10_doc.doc
index 2edf6e7d..7fc14808 100644
Binary files a/doc/pdp10_doc.doc and b/doc/pdp10_doc.doc differ