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