diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-05-24 22:56:49 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-05-24 22:56:49 +0000 |
commit | d52083733903152ef43a3efe80ffe166de158dee (patch) | |
tree | 5337acbe350f7eca13cfd4dd043071dcb93f9a5b /doc/mdk_emixvm.texi | |
parent | b21ee3c2ea317e4ac503330ac195f0be1cbfad1a (diff) | |
download | mdk-d52083733903152ef43a3efe80ffe166de158dee.tar.gz mdk-d52083733903152ef43a3efe80ffe166de158dee.tar.bz2 |
license changed to gfdl
Diffstat (limited to 'doc/mdk_emixvm.texi')
-rw-r--r-- | doc/mdk_emixvm.texi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/mdk_emixvm.texi b/doc/mdk_emixvm.texi index 8fcbf55..6a6efb4 100644 --- a/doc/mdk_emixvm.texi +++ b/doc/mdk_emixvm.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.el, mixvm, Getting started, Top @comment node-name, next, previous, up @chapter mixvm.el |