From dfe8c055890a90690bbd96a84ac84be99ee6529b Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Thu, 5 Aug 2004 21:12:06 +0000
Subject: minor changes

---
 doc/mdk.texi | 8 +++-----
 1 file 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 ---
 
-- 
cgit v1.2.3