1 files changed, 33 insertions, 14 deletions
diff --git a/doc/mdk_install.texi b/doc/mdk_install.texi
index bf13742..a9aa9a8 100644
--- a/doc/mdk_install.texi
+++ b/doc/mdk_install.texi
@@ -64,18 +64,24 @@ libraries installed in your system:
 @item
 @uref{http://www.gnu.org/software/flex/flex.html, GNU Flex 2.3} (required)
 @item
-@uref{http://www.gtk.org, GTK+ 1.2.0} (optional)
+@uref{http://www.gtk.org, GTK 1.2.0} (optional)
 @item
-@uref{ftp://ftp.gnome.org/pub/GNOME/stable/sources/libglade/, libglade}
+@uref{ftp://ftp.gnome.org/pub/GNOME/stable/sources/libglade/, Libglade}
 (optional)
 @item
-GNU readline and history libraries (optional)
+@uref{http://cnswww.cns.cwru.edu/php/chet/readline/rltop.html, GNU
+Readline}
+(optional)
+@item
+@uref{http://www.gnu.org/software/guile, GNU Libguile 1.3} (optional)
 @end itemize
 
 If present, readline and history are used to provide command completion
-and history management to the command line MIX virtual machine, @code{mixvm}
+and history management to the command line MIX virtual machine, @code{mixvm}.
 GTK+ and libglade are needed if you want to build the graphical
-interface to the MIX virtual machine, @code{gmixvm}.
+interface to the MIX virtual machine, @code{gmixvm}. Finally, if
+libguile is found, the @sc{mdk} utilities will be compiled with Guile
+support and will be extensible using Scheme.
 
 @strong{Please note}: you need both the libraries @emph{and} the
 headers; this means both the library package and the @file{-dev} package
@@ -107,16 +113,17 @@ you should see a message with the configuration results like the
 following:
 
 @example
-*** GNU MDK 0.3 has been successfully configured. ***
+*** GNU MDK 0.5 has been successfully configured. ***
 
-Type make to build the following utilities:
+Type 'make' to build the following utilities:
     - mixasm (MIX assembler)
-    - mixvm (MIX virtual machine, with readline support)
-    - gmixvm (mixvm GTK+ GUI)
+    - mixvm (MIX virtual machine, with readline support, with guile support)
+    - gmixvm (mixvm GTK+ GUI, with guile support)
+    - mixguile (the mixvm guile shell)
 @end example
 
 @noindent
-where the last line may be missing if you lack the above mentioned
+where the last lines may be missing if you lack the above mentioned
 libraries. 
 
 The next command, @code{make}, will actually build the @sc{mdk} programs
@@ -129,6 +136,8 @@ in the following locations:
 @file{mixutils/mixvm}
 @item
 @file{mixgtk/gmixvm}
+@item
+@file{mixguile/mixguile}
 @end itemize
 
 You can run these programs from within their directories, but I
@@ -159,15 +168,23 @@ optionally adding the following line to your @file{.emacs} file:
 You can fine tunning the configuration process using the following
 switches with configure:
 
-@defopt --enable-gui[=yes|no]
+@defopt @w{--enable-gui[=yes|no]}
 @defoptx --disable-gui
-Enables/disables the built of the MIX virtual machine GUI
+Enables/disables the build of the MIX virtual machine GUI
 (@code{gmixvm}). If the required libraries are missing
 (@pxref{Requirements}) the configure script with automatically disable
 this feature.
 @end defopt
 
-@defopt --with-readline[=yes|no]
+@defopt @w{--with-guile[=yes|no]}
+@defoptx --without-guile
+Enables/disables the Guile support for @code{mixvm} and @code{gmixvm},
+and the build of @code{mixguile}.  If the 
+required libraries are missing (@pxref{Requirements}) the configure
+script with automatically disable this feature.
+@end defopt
+
+@defopt @w{--with-readline[=yes|no]}
 @defoptx --without-readline
 Enables/disables the GNU Readline support for @code{mixvm}.  If the
 required libraries are missing (@pxref{Requirements}) the configure
@@ -193,7 +210,9 @@ 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)
+Mandrake 8.0 (Agustin Navarro)
+@item
+FreeBSD 4.2, 4.3 (Ying-Chieh Liao)
 @item
 Solaris 2.8/gcc 2.95.3 (Stephen Ramsay)
 @item