documentation cleanup

1 files changed, 4 insertions, 4 deletions

diff --git a/doc/mdk_gmixvm.texi b/doc/mdk_gmixvm.texi
index 9bf502b..bddb362 100644
--- a/doc/mdk_gmixvm.texi
+++ b/doc/mdk_gmixvm.texi
@@ -4,7 +4,7 @@
 @c   Free Software Foundation, Inc.
 @c See the file mdk.texi for copying conditions.
 
-@c $Id: mdk_gmixvm.texi,v 1.17 2004/08/01 23:32:58 jao Exp $
+@c $Id: mdk_gmixvm.texi,v 1.18 2004/08/03 13:23:06 jao Exp $
 
 @node gmixvm, mixguile, mixvm, Top
 @comment  node-name,  next,  previous,  up
@@ -21,7 +21,7 @@ displaying the status of the virtual machine, the source code of the the
 downloaded programs and the contents of the MIX devices.
 
 @menu
-* Invoking @code{gmixvm}::      Invoking the GTK+ interface.
+* Invoking gmixvm::
 * MIXVM console::               Using @code{mixvm} commands.
 * MIX virtual machine::         The MIX virtual machine window.
 * MIXAL source view::           Viewing the MIXAL source code.
@@ -29,7 +29,7 @@ downloaded programs and the contents of the MIX devices.
 * Menu and status bars::        Available menu commands.
 @end menu
 
-@node Invoking @code{gmixvm}, MIXVM console, gmixvm, gmixvm
+@node Invoking gmixvm, MIXVM console, gmixvm, gmixvm
 @comment  node-name,  next,  previous,  up
 @section Invoking @code{gmixvm}
 
@@ -118,7 +118,7 @@ MIX programs (@pxref{Devices}), and a command history file.
 The following sections describe the above mentioned components of
 @code{gmixvm}.
 
-@node MIXVM console, MIX virtual machine, Invoking @code{gmixvm}, gmixvm
+@node MIXVM console, MIX virtual machine, Invoking gmixvm, gmixvm
 @comment  node-name,  next,  previous,  up
 @section MIXVM console