diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-08-05 21:19:25 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-08-05 21:19:25 +0000 |
commit | e9d5b5174056f8627b5143163a30cb84cd516764 (patch) | |
tree | 9db1cf44dd9df923f499823461bf0889e1922c40 /doc/mdk_install.texi | |
parent | 6b116b51cea9b51be529a9447b8655731f4209a7 (diff) | |
download | mdk-e9d5b5174056f8627b5143163a30cb84cd516764.tar.gz mdk-e9d5b5174056f8627b5143163a30cb84cd516764.tar.bz2 |
minor changes
Diffstat (limited to 'doc/mdk_install.texi')
-rw-r--r-- | doc/mdk_install.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/mdk_install.texi b/doc/mdk_install.texi index 32f0594..08a44e2 100644 --- a/doc/mdk_install.texi +++ b/doc/mdk_install.texi @@ -115,7 +115,7 @@ you should see a message with the configuration results like the following: @example -*** GNU MDK 1.0 has been successfully configured. *** +*** GNU MDK 1.2 has been successfully configured. *** Type 'make' to build the following utilities: - mixasm (MIX assembler) |