licenses in one appendix

1 files changed, 17 insertions, 11 deletions

diff --git a/doc/mdk_gmixvm.texi b/doc/mdk_gmixvm.texi
index 4cc5399..1eb63ac 100644
--- a/doc/mdk_gmixvm.texi
+++ b/doc/mdk_gmixvm.texi
@@ -36,7 +36,7 @@ gmixvm @kbd{RET}
 at your command prompt. The @code{gmixvm} main window will appear,
 offering you a graphical interface to run and debug your MIX programs.
 
-@image{img/ss_mix}
+@image{img/ss_mix, 400pt}
 
 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
@@ -65,7 +65,7 @@ windows}.
 Here is an screenshot showing how @code{gmixvm} looks like when running
 in split mode:
 
-@image{img/ss_split}
+@image{img/ss_split, 420pt}
 
 @end ifnotinfo
 
@@ -145,7 +145,9 @@ contents.
 
 @ifnotinfo
 The next figure shows the enter word dialog.
-@image{img/ss_worddlg, 400pt}
+
+@image{img/ss_worddlg, 250pt}
+
 @end ifnotinfo
 
 In the same manner, click on any address of the memory cells list to be
@@ -157,7 +159,7 @@ displayed in the scrollable list after you click the OK button.
 @ifnotinfo
 The next figure shows the enter address dialog.
 
-@image{img/ss_goto}
+@image{img/ss_goto, 200pt}
 
 @end ifnotinfo
 
@@ -190,12 +192,12 @@ 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
 The following figure shows the change color dialog.
-@image{img/ss_colors}
-@end ifnotinfo
 
+@image{img/ss_colors, 250pt}
+
+@end ifnotinfo
 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,
@@ -215,7 +217,9 @@ disks, card and tapes @pxref{Devices}) produced by the running
 program. 
 
 @ifnotinfo
+
 @image{img/ss_devices, 400pt}
+
 @end ifnotinfo
 
 Input device contents is read from files located in the @file{~/.gmivm}
@@ -294,7 +298,9 @@ Opens a dialog showing the list of symbols defined in the currently
 loaded MIX program.
 
 @ifnotinfo
-@image{img/ss_symbols}
+
+@image{img/ss_symbols, 250pt}
+
 @end ifnotinfo
 
 @end deffn
@@ -315,7 +321,7 @@ Opens a dialog that lets you specify which format shall be used to show
 the contents of MIX binary block devices.
 
 @ifnotinfo
-@image{img/ss_devform}
+@image{img/ss_devform, 250pt}
 @end ifnotinfo
 
 The available formats are decimal (e.g. @w{-1234}) and MIX word
@@ -327,7 +333,7 @@ Opens a dialog that lets you choose where the MIX device files will be
 stored (@file{~/.mdk} is the default location).
 
 @ifnotinfo
-@image{img/ss_devdir}
+@image{img/ss_devdir, 250pt}
 @end ifnotinfo
 
 You can also specify the devices directory using the @code{mixvm}
@@ -340,7 +346,7 @@ This menu command opens a dialog that lets you specify the commands used
 for editing and compiling MIXAL source files.
 
 @ifnotinfo
-@image{img/ss_extprog}
+@image{img/ss_extprog, 250pt}
 @end ifnotinfo
 
 The commands are specified as template strings, where the control