diff options
Diffstat (limited to 'doc/mdk_install.texi')
-rw-r--r-- | doc/mdk_install.texi | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/doc/mdk_install.texi b/doc/mdk_install.texi index 2874d79..c240c57 100644 --- a/doc/mdk_install.texi +++ b/doc/mdk_install.texi @@ -26,8 +26,9 @@ the following @acronym{URL}s: @itemize @bullet @item -@url{ftp://ftp.gnu.org/pub/gnu/mdk} (or one of -@uref{http://www.gnu.org/prep/ftp.html, its mirrors}) +@url{ftp://ftp.gnu.org/pub/gnu/mdk} +@item +@uref{http://www.gnu.org/prep/ftp.html, GNU mirrors} @item @uref{http://sourceforge.net/project/showfiles.php?group_id=13897} @end itemize @@ -117,7 +118,8 @@ following: Type 'make' to build the following utilities: - mixasm (MIX assembler) - - mixvm (MIX virtual machine, with readline support, with guile support) + - mixvm (MIX virtual machine, with readline support, + with guile support) - gmixvm (mixvm GTK+ GUI, with guile support) - mixguile (the mixvm guile shell) @end example |