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 | b5127ef19ab31dd9de9fb62aa8dab3b815ef382d (patch) | |
| tree | 42c428dc21e32c9d218ba94a811ddb42cbc4e397 /doc/mdk_install.texi | |
| parent | b9fa0c9b6f42d59d7da7d01d28e6d466455ff8fa (diff) | |
| download | mdk-b5127ef19ab31dd9de9fb62aa8dab3b815ef382d.tar.gz mdk-b5127ef19ab31dd9de9fb62aa8dab3b815ef382d.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 |