documentation cleanup

1 files changed, 49 insertions, 78 deletions

diff --git a/doc/mdk.texi b/doc/mdk.texi
index 793158c..bd41b79 100644
--- a/doc/mdk.texi
+++ b/doc/mdk.texi
@@ -1,17 +1,12 @@
-\input texinfo
+\input texinfo  @c -*-texinfo-*-
 @c %**start of header
 @setfilename mdk.info
 @settitle GNU MIX Development Kit (mdk)
-@finalout
+@syncodeindex pg cp
+@c @finalout
 @setchapternewpage odd
 @c %**end of header
 
-@dircategory GNU programming tools
-@direntry
-* MDK: (mdk).           The GNU MIX Development Kit.
-@end direntry
-
-
 @set UPDATED August, 2004
 @set EDITION 1.2
 @set VERSION 1.2
@@ -19,83 +14,57 @@
 @set PHILIP Philip E. King
 @set PIETER Pieter E. J. Pareit
 @set MIKE Michael Scholz
-@footnotestyle separate
 
-@ifinfo
-This file documents the the GNU @sc{mdk} utilities for developing
-programs using Donald Knuth's MIX language.
-
-Copyright (C) 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
-
-Permission is granted to copy, distribute and/or modify this
-document under the terms of the GNU Free Documentation License,
-Version 1.1 or any later version published by the Free Software
-Foundation; with no Invariant Sections, no Front-Cover Texts and
-no Back-Cover Texts.  A copy of the license is included in the
-section entitled "GNU Free Documentation License".
-
-@ignore
-Permission is granted to process this file through TeX and print the
-results, provided the printed document carries copying permission
-notice identical to this one except for the removal of this paragraph
-(this paragraph not being relevant to the printed manual).
-
-@end ignore
-Permission is granted to copy, distribute and/or modify this
-document under the terms of the GNU Free Documentation License,
-Version 1.1 or any later version published by the Free Software
-Foundation; with no Invariant Sections, no Front-Cover Texts and
-no Back-Cover Texts.  A copy of the license is included in the
-section entitled "GNU Free Documentation License".
-
-Permission is granted to copy and distribute translations of this manual
-into another language, under the above conditions for modified versions,
-except that this permission notice may be stated in a translation
-approved by the Free Software Foundation.
-@end ifinfo
+@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.
+
+Copyright @copyright{} 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
+
+@quotation
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License, Version 1.1 or
+any later version published by the Free Software Foundation; with no
+Invariant Sections, with the Front-Cover Texts being ``A GNU Manual,''
+and with the Back-Cover Texts as in (a) below.  A copy of the
+license is included in the section entitled ``GNU Free Documentation
+License.''
+
+(a) The FSF's Back-Cover Text is: ``You have freedom to copy and modify
+this GNU Manual, like GNU software.  Copies published by the Free
+Software Foundation raise funds for GNU development.''
+@end quotation
+@end copying
+
+@dircategory GNU programming tools
+@direntry
+* MDK: (mdk).           The GNU MIX Development Kit.
+@end direntry
+
+
+@footnotestyle separate
 
 @titlepage
 @title GNU MDK
 @subtitle GNU MIX Development Kit
 @subtitle Edition @value{EDITION}, for GNU @sc{mdk} Version @value{VERSION}
 @subtitle @value{UPDATED}
-@author by @value{JAO}
-
+@author by @value{JAO} (@email{jao@@gnu.org})
 @page
 @vskip 0pt plus 1filll
-Copyright @copyright{} 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
-
-Permission is granted to make and distribute verbatim copies of
-this manual provided the copyright notice and this permission notice
-are preserved on all copies.
-
-Permission is granted to copy, distribute and/or modify this
-document under the terms of the GNU Free Documentation License,
-Version 1.1 or any later version published by the Free Software
-Foundation; with no Invariant Sections, no Front-Cover Texts and
-no Back-Cover Texts.  A copy of the license is included in the
-section entitled "GNU Free Documentation License".
-
-Permission is granted to copy and distribute translations of this manual
-into another language, under the above conditions for modified versions,
-except that this permission notice may be stated in a translation
-approved by the Free Software Foundation.
+@insertcopying
 @end titlepage
 
-@node Top, Introduction, (dir), (dir)
+@shortcontents
+@contents
 
-@ifinfo
-This file documents the GNU @sc{mdk} utilities to develop, run and debug
-programs written in the MIXAL programming language.  MIXAL is an
-assembler-like language for programming a virtual computer called
-MIX. They were created by Donald Knuth in the first volume of @cite{The
-Art of Computer Programming} (Addison Wesley, 1997).
+@ifnottex
+@node Top, Introduction, (dir), (dir)
 
-GNU @sc{mdk} is part of the GNU project.
+@insertcopying
 
-GNU @sc{mdk} was written by @value{JAO} and is released under the GNU
-General Public license (@pxref{Copying}), so that users are free to share
-and improve it.
+GNU MDK was written and designed by @value{JAO}.
 
 @value{PIETER} is the author of the Emacs @code{MIXAL} mode
 (@pxref{MIXAL mode}), and has also contributed many bug fixes.
@@ -106,7 +75,7 @@ helpful discussions, as well as actual code (@pxref{GUD integration}).
 @value{MIKE} is the author of the German translation of @sc{mdk}'s
 user interface.
 
-@end ifinfo
+@end ifnottex
 
 @menu
 * Introduction::
@@ -124,6 +93,10 @@ user interface.
 * Concept Index::               Index of concepts.
 * Instructions and commands::   Index of MIXAL instructions and MIXVM commands.
 
+
+
+
+
 @detailmenu
  --- The Detailed Node Listing ---
 
@@ -213,11 +186,11 @@ MIXAL mode
 
 @code{mixasm}, the MIXAL assembler
 
-* Invoking @code{mixasm}::      @code{mixasm} options
+* Invoking mixasm::
 
 @code{mixvm}, the MIX computer simulator
 
-* Invocation::                  Options when invoking @code{mixvm}.
+* Invocation::
 * Commands::                    Commands available in interactive mode.
 * Devices::                     MIX block devices implementation.
 
@@ -231,7 +204,7 @@ Interactive commands
 
 @code{gmixvm}, the GTK virtual machine
 
-* Invoking @code{gmixvm}::      Invoking the GTK+ interface.
+* Invoking gmixvm::
 * MIXVM console::               Using @code{mixvm} commands.
 * MIX virtual machine::         The MIX virtual machine window.
 * MIXAL source view::           Viewing the MIXAL source code.
@@ -272,8 +245,6 @@ Copying
 @include mdk_index.texi
 @include mdk_findex.texi
 
-@shortcontents
-@contents
 @bye
 
-$Id: mdk.texi,v 1.23 2004/08/02 10:49:25 jao Exp $
+$Id: mdk.texi,v 1.24 2004/08/03 13:23:05 jao Exp $