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