diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-09-18 22:53:18 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-09-18 22:53:18 +0000 |
commit | de9d9a0cfaeb697f3ccf3edc80429dd7fddf7f1c (patch) | |
tree | 1e3547776830550fe3a9f5c4823ccfce53bd0b64 /doc/mdk_gmixvm.texi | |
parent | 5fb9638ec99114a112f5b71bd34dccf02ca61b73 (diff) | |
download | mdk-de9d9a0cfaeb697f3ccf3edc80429dd7fddf7f1c.tar.gz mdk-de9d9a0cfaeb697f3ccf3edc80429dd7fddf7f1c.tar.bz2 |
partial doc update
Diffstat (limited to 'doc/mdk_gmixvm.texi')
-rw-r--r-- | doc/mdk_gmixvm.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/mdk_gmixvm.texi b/doc/mdk_gmixvm.texi index b5823bb..a1fbb6f 100644 --- a/doc/mdk_gmixvm.texi +++ b/doc/mdk_gmixvm.texi @@ -4,9 +4,9 @@ @c Free Software Foundation, Inc. @c See the file mdk.texi for copying conditions. -@c $Id: mdk_gmixvm.texi,v 1.12 2001/09/13 00:13:39 jao Exp $ +@c $Id: mdk_gmixvm.texi,v 1.13 2001/09/18 22:53:18 jao Exp $ -@node gmixvm, mixasm, mixvm, Top +@node gmixvm, mixguile, mixvm, Top @comment node-name, next, previous, up @chapter @code{gmixvm}, the GTK virtual machine @cindex @code{gmixvm} |