1 files changed, 34 insertions, 5 deletions
diff --git a/doc/mdk_gmixvm.texi b/doc/mdk_gmixvm.texi
index a1fbb6f..987e39b 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.13 2001/09/18 22:53:18 jao Exp $
+@c $Id: mdk_gmixvm.texi,v 1.14 2001/09/28 23:11:44 jao Exp $
 
 @node gmixvm, mixguile, mixvm, Top
 @comment  node-name,  next,  previous,  up
@@ -13,6 +13,13 @@
 @cindex GUI
 @cindex GTK+
 
+This chapter describes the graphical MIX virtual machine emulator
+shipped with @sc{mdk}. In addition to having all the command-oriented
+functionalities of the other virtual machines (@code{mixvm} and
+@code{mixguile}), @code{gmixvm} offers you a graphical interface
+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.
 * MIXVM console::               Using @code{mixvm} commands.
@@ -31,12 +38,34 @@ graphical front-end for the MIX virtual machine will be available in
 your system. You can invoke it by typing
 
 @example
-gmixvm @key{RET}
+gmixvm [-vhuq] [--version] [--help] [--usage] [--noinit]
 @end example
-
 @noindent
-at your command prompt. The @code{gmixvm} main window will appear,
-offering you a graphical interface to run and debug your MIX programs.
+at your command prompt, where the options have the following meanings:
+
+@defopt -v
+@defoptx --version
+Prints version and copyleft information and exits.
+@end defopt
+
+@defopt -h
+@defoptx --help
+@defoptx -u
+@defoptx --usage
+Prints a summary of available options and exits.
+@end defopt
+
+@defopt -q
+@defoptx --noinit
+Do not load the Guile initialisation file @code{~/.mdk/mixguile.scm} at
+startup. This file contains any local Scheme code to be executed by the
+embedded Guile interpreter at startup (@pxref{Using Scheme in mixvm and
+gmixvm}).
+@end defopt
+
+Typing @code{gmixvm} or @code{gmixvm -q} at your command prompt, the
+main window will appear, offering you a graphical interface to run and
+debug your MIX programs.
 
 @image{img/ss_mix, 400pt}