diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-09-26 23:15:55 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-09-26 23:15:55 +0000 |
| commit | 08ae1393b7d415355308856618ca96c3ba2cfbd0 (patch) | |
| tree | a35c4ca64a92f9134870cd035a86e306c99dc0ed /doc/mdk_install.texi | |
| parent | 08161d72cebad8c9941bae3a5ab3fff1faae2e78 (diff) | |
| download | mdk-08ae1393b7d415355308856618ca96c3ba2cfbd0.tar.gz mdk-08ae1393b7d415355308856618ca96c3ba2cfbd0.tar.bz2 | |
minor cosmetic changes
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 |