diff --git a/doc/pdp11_doc.doc b/doc/pdp11_doc.doc
index 985ad636..5d6fc570 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 6503b8a6..e3f0cca2 100644
Binary files a/doc/vax780_doc.doc and b/doc/vax780_doc.doc differ
diff --git a/doc/vax_doc.doc b/doc/vax_doc.doc
index ecf4691f..b0603e39 100644
Binary files a/doc/vax_doc.doc and b/doc/vax_doc.doc differ