diff --git a/doc/pdp11_doc.doc b/doc/pdp11_doc.doc
index 1ab0b36b..61e09088 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 06d8333d..ea7efc4e 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 911198db..98eeb05f 100644
Binary files a/doc/vax_doc.doc and b/doc/vax_doc.doc differ