diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-08-03 13:23:05 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-08-03 13:23:05 +0000 |
| commit | 40ccfa36c51b4ce468168427bf7886cdbae62245 (patch) | |
| tree | 747472d77ba14473f1399e52605564c213d4f9a7 /doc/mdk_mixvm.texi | |
| parent | 671323615c9051eaf666c09628f2ff043f393cd5 (diff) | |
| download | mdk-40ccfa36c51b4ce468168427bf7886cdbae62245.tar.gz mdk-40ccfa36c51b4ce468168427bf7886cdbae62245.tar.bz2 | |
documentation cleanup
Diffstat (limited to 'doc/mdk_mixvm.texi')
| -rw-r--r-- | doc/mdk_mixvm.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/mdk_mixvm.texi b/doc/mdk_mixvm.texi index ff7f567..427d100 100644 --- a/doc/mdk_mixvm.texi +++ b/doc/mdk_mixvm.texi @@ -4,7 +4,7 @@ @c Free Software Foundation, Inc. @c See the file mdk.texi for copying conditions. -@c $Id: mdk_mixvm.texi,v 1.18 2004/08/01 21:43:29 jao Exp $ +@c $Id: mdk_mixvm.texi,v 1.19 2004/08/03 13:23:06 jao Exp $ @node mixvm, gmixvm, mixasm, Top @comment node-name, next, previous, up @@ -23,7 +23,7 @@ setting to aid you in debugging your code. For a tutorial description of @code{mixvm} usage, @xref{Running the program}. @menu -* Invocation:: Options when invoking @code{mixvm}. +* Invocation:: * Commands:: Commands available in interactive mode. * Devices:: MIX block devices implementation. @end menu |