exclude images in dvi

1 files changed, 31 insertions, 27 deletions

diff --git a/doc/mdk_gmixvm.texi b/doc/mdk_gmixvm.texi
index 987e39b..32045cb 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.14 2001/09/28 23:11:44 jao Exp $
+@c $Id: mdk_gmixvm.texi,v 1.15 2001/09/29 01:55:05 jao Exp $
 
 @node gmixvm, mixguile, mixvm, Top
 @comment  node-name,  next,  previous,  up
@@ -67,7 +67,9 @@ 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.
 
+@ifnottex
 @image{img/ss_mix, 400pt}
+@end ifnottex
 
 Apart from the menu and status bars, we can distinguish two zones (or
 halves) in this main window. In the upper half of @code{gmixvm}'s main
@@ -92,13 +94,13 @@ detached from the main one, and can be hidden individually). You can
 choose the display mode using the corresponding command from the
 @code{View} menu.
 
-@ifnotinfo
+@ifhtml
 Here is an screenshot showing how @code{gmixvm} looks like when running
 in split mode:
 
 @image{img/ss_split, 420pt}
 
-@end ifnotinfo
+@end ifhtml
 
 On the other hand, the main window's lower half presents you a
 @code{mixvm} command prompt and a logging area where results of the
@@ -174,12 +176,12 @@ execution time for the currently loaded MIX program).
 Clicking any register entry, you will be prompted for a new register's
 contents.
 
-@ifnotinfo
+@ifhtml
 The next figure shows the enter word dialog.
 
 @image{img/ss_worddlg, 250pt}
 
-@end ifnotinfo
+@end ifhtml
 
 In the same manner, click on any address of the memory cells list to be
 prompted for the new contents of the clicked cell. If you click the
@@ -187,12 +189,12 @@ address column's title, a dialog asking you for a memory address will
 appear; if you introduce a valid address, this will be the first cell
 displayed in the scrollable list after you click the OK button.
 
-@ifnotinfo
+@ifhtml
 The next figure shows the enter address dialog.
 
 @image{img/ss_goto, 200pt}
 
-@end ifnotinfo
+@end ifhtml
 
 
 The register contents are shown as a list of MIX bytes plus sign. If you
@@ -207,28 +209,30 @@ using the @w{Settings->Change font->MIX} menu command.
 @section MIXAL source view
 
 The second notebook's page, dubbed MIXAL, shows you the MIXAL source of
-the currently loaded MIX file. As shown in the next figure, the
-information is presented in two columns.
+the currently loaded MIX file. 
 
+@ifnottex
 @image{img/ss_mixal, 400pt}
+@end ifnottex
 
-The first column shows the address and memory contents of the compiled
-MIX instruction, while the second one displays its corresponding MIXAL
-representation, together with the source file line number. The current
-location of the location counter is highlighted in grey, while any set
-breakpoint is marked in red. You can set/unset breakpoints by clicking
-on any line in this view which has an associated memory address.
+The information is presented in two columns.  The first column shows the
+address and memory contents of the compiled MIX instruction, while the
+second one displays its corresponding MIXAL representation, together
+with the source file line number. The current location of the location
+counter is highlighted in grey, while any set breakpoint is marked in
+red. You can set/unset breakpoints by clicking on any line in this view
+which has an associated memory address.
 
 The colors used to mark the location pointer line and the breakpoints
 can be customized with the @w{Settings->Colors...} menu command. When you
 click on this menu item, a dialog showing the current line colors will
 appear. 
-@ifnotinfo
+@ifhtml
 The following figure shows the change color dialog.
 
 @image{img/ss_colors, 250pt}
 
-@end ifnotinfo
+@end ifhtml
 Clicking on any of the colors will produce a color selection dialog for
 choosing a new color for the given element. In this way, you can change
 the foreground and background colors used for drawing the current line,
@@ -247,11 +251,11 @@ to/from MIX block devices (the console, line printer, paper tape,
 disks, card and tapes @pxref{Devices}) produced by the running
 program. 
 
-@ifnotinfo
+@ifhtml
 
 @image{img/ss_devices, 400pt}
 
-@end ifnotinfo
+@end ifhtml
 
 Input device contents is read from files located in the @file{~/.gmivm}
 directory, and the output is also written in files at the same
@@ -343,11 +347,11 @@ Clears all currently set breakpoints. It is equivalent to the
 Opens a dialog showing the list of symbols defined in the currently
 loaded MIX program.
 
-@ifnotinfo
+@ifhtml
 
 @image{img/ss_symbols, 250pt}
 
-@end ifnotinfo
+@end ifhtml
 
 @end deffn
 
@@ -365,9 +369,9 @@ Lets you change the font used in the various @code{gmixv} widgets
 Opens a dialog that lets you specify which format shall be used to show
 the contents of MIX binary block devices.
 
-@ifnotinfo
+@ifhtml
 @image{img/ss_devform, 250pt}
-@end ifnotinfo
+@end ifhtml
 
 The available formats are decimal (e.g. @w{-1234}) and MIX word
 (e.g. @w{- 00 00 00 19 18}).
@@ -377,9 +381,9 @@ The available formats are decimal (e.g. @w{-1234}) and MIX word
 Opens a dialog that lets you choose where the MIX device files will be
 stored (@file{~/.mdk} is the default location).
 
-@ifnotinfo
+@ifhtml
 @image{img/ss_devdir, 250pt}
-@end ifnotinfo
+@end ifhtml
 
 You can also specify the devices directory using the @code{mixvm}
 command @code{sddir} (@pxref{Configuration commands}).
@@ -390,9 +394,9 @@ command @code{sddir} (@pxref{Configuration commands}).
 This menu command opens a dialog that lets you specify the commands used
 for editing and compiling MIXAL source files.
 
-@ifnotinfo
+@ifhtml
 @image{img/ss_extprog, 250pt}
-@end ifnotinfo
+@end ifhtml
 
 The commands are specified as template strings, where the control
 substring @code{%s} will be substituted by the actual file name. Thus,