diff --git a/doc/vax780_doc.doc b/doc/vax780_doc.doc index df41d67e..c81bda1f 100644 Binary files a/doc/vax780_doc.doc and b/doc/vax780_doc.doc differ