summaryrefslogtreecommitdiffhomepage
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/mdk.texi12
-rw-r--r--doc/mdk_install.texi21
2 files changed, 27 insertions, 6 deletions
diff --git a/doc/mdk.texi b/doc/mdk.texi
index 9683005..9afe029 100644
--- a/doc/mdk.texi
+++ b/doc/mdk.texi
@@ -13,8 +13,8 @@
@set UPDATED 20 February 2001
-@set EDITION 0.3
-@set VERSION 0.3
+@set EDITION 0.3.1
+@set VERSION 0.3.1
@set JAO Jose Antonio Ortega Ruiz
@set PHILIP Philip E. King
@footnotestyle separate
@@ -110,6 +110,7 @@ helpful discussions, as well as actual code (@pxref{mixvm.el}).
* Problems:: Reporting bugs.
* Concept Index:: Index of concepts.
+
@detailmenu
--- The Detailed Node Listing ---
@@ -120,6 +121,7 @@ Installing @sc{mdk}
* Basic installation::
* Emacs support::
* Special configure flags::
+* Supported platforms::
MIX and MIXAL tutorial
@@ -184,10 +186,10 @@ Interactive commands
gmixvm
* Invoking @code{gmixvm}:: Invoking the GTK+ interface.
-* MIXVM console::
+* MIXVM console:: Using @code{mixvm} commands.
* MIX virtual machine:: The MIX virtual machine window.
-* MIXAL source view::
-* MIX devices view::
+* MIXAL source view:: Viewing the MIXAL source code.
+* MIX devices view:: Device output.
* Menu and status bars:: Available menu commands.
@code{mixasm}, the MIXAL assembler
diff --git a/doc/mdk_install.texi b/doc/mdk_install.texi
index 78690ba..6881729 100644
--- a/doc/mdk_install.texi
+++ b/doc/mdk_install.texi
@@ -8,6 +8,7 @@
* Basic installation::
* Emacs support::
* Special configure flags::
+* Supported platforms::
@end menu
@node Download, Requirements, Installing MDK, Installing MDK
@@ -145,7 +146,7 @@ optionally adding the following line to your @file{.emacs} file:
-@node Special configure flags, , Emacs support, Installing MDK
+@node Special configure flags, Supported platforms, Emacs support, Installing MDK
@comment node-name, next, previous, up
@section Special configure flags
@@ -174,6 +175,24 @@ file, or run
configure --help
@end example
+@node Supported platforms, , Special configure flags, Installing MDK
+@comment node-name, next, previous, up
+@section Supported platforms
+
+GNU MDK has been tested in the following platforms:
+
+@itemize
+@item
+Debian GNU/Linux 2.2/2.3
+@item
+Redhat GNU/Linux 7.0 (Agustin Navarro), 6.2 (Roberto Ferrero)
+@item
+FreeBSD 4.2 (Ying-Chieh Liao)
+@end itemize
+
+MDK will probably work on any GNU/Linux and BSD platform. If you try it
+in a platform not listed above, please send a mail to
+@email{jao@@gnu.org, the author}.