diff --git a/doc/pdp11_doc.doc b/doc/pdp11_doc.doc
index bd84a802..50ef9df7 100644
Binary files a/doc/pdp11_doc.doc and b/doc/pdp11_doc.doc differ
diff --git a/doc/vax780_doc.doc b/doc/vax780_doc.doc
index fdc37d9f..d6c9d3ad 100644
Binary files a/doc/vax780_doc.doc and b/doc/vax780_doc.doc differ