diff options
Diffstat (limited to 'doc/mdk_mixvm.texi')
| -rw-r--r-- | doc/mdk_mixvm.texi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/mdk_mixvm.texi b/doc/mdk_mixvm.texi index 8289472..3392bf0 100644 --- a/doc/mdk_mixvm.texi +++ b/doc/mdk_mixvm.texi @@ -1,3 +1,9 @@ +@c -*-texinfo-*- +@c This is part of the GNU MDK Reference Manual. +@c Copyright (C) 2000, 2001 +@c Free Software Foundation, Inc. +@c See the file mdk.texi for copying conditions. + @node mixvm, gmixvm, mixvm.el, Top @comment node-name, next, previous, up @chapter @code{mixvm}, the MIX computer simulator |