summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-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 ---