summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2004-08-05 21:12:06 +0000
committerJose Antonio Ortega Ruiz <jao@gnu.org>2004-08-05 21:12:06 +0000
commitdfe8c055890a90690bbd96a84ac84be99ee6529b (patch)
tree3ecae82bd9fef1fed036a7038877c4d0127b96a8
parentd599ce35aac148efcd9ace4ed2c6665d7ee96a1e (diff)
downloadmdk-dfe8c055890a90690bbd96a84ac84be99ee6529b.tar.gz
mdk-dfe8c055890a90690bbd96a84ac84be99ee6529b.tar.bz2
minor changes
-rw-r--r--doc/mdk.texi8
1 files changed, 3 insertions, 5 deletions
diff --git a/doc/mdk.texi b/doc/mdk.texi
index 7dd6a52..033c63a 100644
--- a/doc/mdk.texi
+++ b/doc/mdk.texi
@@ -3,9 +3,9 @@
@setfilename mdk.info
@settitle GNU MIX Development Kit (mdk)
@syncodeindex pg cp
-@c @finalout
+@finalout
@setchapternewpage odd
-@c $Id: mdk.texi,v 1.25 2004/08/04 21:33:41 jao Exp $
+@c $Id: mdk.texi,v 1.26 2004/08/05 21:12:06 jao Exp $
@c %**end of header
@set UPDATED August, 2004
@@ -19,7 +19,7 @@
@copying
This manual is for GNU MDK (version @value{VERSION}, @value{UPDATED}),
a set of utilities for developing programs using Donald Knuth's MIX
-language.
+mythical computer and MIXAL, its assembly language.
Copyright @copyright{} 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
@@ -96,8 +96,6 @@ user interface.
-
-
@detailmenu
--- The Detailed Node Listing ---