diff --git a/doc/vax780_doc.doc b/doc/vax780_doc.doc
index 07b7f872..f9bcb3ea 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 19a70329..0a1ab6d2 100644
Binary files a/doc/vax_doc.doc and b/doc/vax_doc.doc differ