diff --git a/doc/vax780_doc.doc b/doc/vax780_doc.doc
index 07b7f872..7d35a37d 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..ade17da1 100644
Binary files a/doc/vax_doc.doc and b/doc/vax_doc.doc differ