documentation cleanup

13 files changed, 76 insertions, 101 deletions

diff --git a/ChangeLog b/ChangeLog
index 3df620b..ea28588 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2004-08-03  Jose Antonio Ortega Ruiz  <jao@gnu.org>
+
+	* doc: documentation cleanup.
+
 2004-08-02  Jose Antonio Ortega Ruiz  <jao@gnu.org>
 
 	* INSTALL:
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 $
diff --git a/doc/mdk_ack.texi b/doc/mdk_ack.texi
index a157f97..e252c86 100644
--- a/doc/mdk_ack.texi
+++ b/doc/mdk_ack.texi
@@ -4,7 +4,7 @@
 @c   Free Software Foundation, Inc.
 @c See the file mdk.texi for copying conditions.
 
-@c $Id: mdk_ack.texi,v 1.11 2004/08/02 10:49:25 jao Exp $
+@c $Id: mdk_ack.texi,v 1.12 2004/08/03 13:23:06 jao Exp $
 
 @node Acknowledgments, Installing MDK, Introduction, Top
 @comment  node-name,  next,  previous,  up
@@ -53,7 +53,7 @@ tested @sc{mdk} on different platforms, and helped fix the configuration
 process in them.
 
 @item @sc{mdk} was inspired by Darius Bacon's
-@uref{http://www.accesscom.com/~darius/, MIXAL program}.
+@uref{http://www.accesscom.com/@/~darius/, MIXAL program}.
 
 @end itemize
 
diff --git a/doc/mdk_bugs.texi b/doc/mdk_bugs.texi
index 4b8ee1c..1b18064 100644
--- a/doc/mdk_bugs.texi
+++ b/doc/mdk_bugs.texi
@@ -1,10 +1,10 @@
 @c -*-texinfo-*-
 @c This is part of the GNU MDK Reference Manual.
-@c Copyright (C) 2000, 2001, 2003
+@c Copyright (C) 2000, 2001, 2003, 2004
 @c   Free Software Foundation, Inc.
 @c See the file mdk.texi for copying conditions.
 
-@c $Id: mdk_bugs.texi,v 1.5 2003/06/02 23:20:38 jao Exp $
+@c $Id: mdk_bugs.texi,v 1.6 2004/08/03 13:23:06 jao Exp $
 
 @node Problems, Copying, mixguile, Top
 @chapter Reporting Bugs
diff --git a/doc/mdk_copying.texi b/doc/mdk_copying.texi
index 1bfca8e..646173d 100644
--- a/doc/mdk_copying.texi
+++ b/doc/mdk_copying.texi
@@ -18,7 +18,7 @@ this manual under the GNU Free Documentation License (GFDL).
 @center Version 2, June 1991
 
 @display
-Copyright @copyright{} 1989, 1991, 2003 Free Software Foundation, Inc.
+Copyright @copyright{} 1989, 1991, 2003, 2004 Free Software Foundation, Inc.
 675 Mass Ave, Cambridge, MA 02139, USA
 
 Everyone is permitted to copy and distribute verbatim copies
diff --git a/doc/mdk_emacs.texi b/doc/mdk_emacs.texi
index 1fd848a..e0c6973 100644
--- a/doc/mdk_emacs.texi
+++ b/doc/mdk_emacs.texi
@@ -1,6 +1,6 @@
 @c -*-texinfo-*-
 @c This is part of the GNU MDK Reference Manual.
-@c Copyright (C) 2003
+@c Copyright (C) 2003, 2004
 @c   Free Software Foundation, Inc.
 @c See the file mdk.texi for copying conditions.
 
diff --git a/doc/mdk_findex.texi b/doc/mdk_findex.texi
index dffb6a3..24a269f 100644
--- a/doc/mdk_findex.texi
+++ b/doc/mdk_findex.texi
@@ -1,10 +1,10 @@
 @c -*-texinfo-*-
 @c This is part of the GNU MDK Reference Manual.
-@c Copyright (C) 2000, 2001, 2003
+@c Copyright (C) 2000, 2001, 2003, 2004
 @c   Free Software Foundation, Inc.
 @c See the file mdk.texi for copying conditions.
 
-@c $Id: mdk_findex.texi,v 1.2 2003/06/02 23:20:38 jao Exp $
+@c $Id: mdk_findex.texi,v 1.3 2004/08/03 13:23:06 jao Exp $
 
 @node Instructions and commands, , Concept Index, Top
 @unnumbered Instructions and commands
diff --git a/doc/mdk_gmixvm.texi b/doc/mdk_gmixvm.texi
index 9bf502b..bddb362 100644
--- a/doc/mdk_gmixvm.texi
+++ b/doc/mdk_gmixvm.texi
@@ -4,7 +4,7 @@
 @c   Free Software Foundation, Inc.
 @c See the file mdk.texi for copying conditions.
 
-@c $Id: mdk_gmixvm.texi,v 1.17 2004/08/01 23:32:58 jao Exp $
+@c $Id: mdk_gmixvm.texi,v 1.18 2004/08/03 13:23:06 jao Exp $
 
 @node gmixvm, mixguile, mixvm, Top
 @comment  node-name,  next,  previous,  up
@@ -21,7 +21,7 @@ displaying the status of the virtual machine, the source code of the the
 downloaded programs and the contents of the MIX devices.
 
 @menu
-* 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.
@@ -29,7 +29,7 @@ downloaded programs and the contents of the MIX devices.
 * Menu and status bars::        Available menu commands.
 @end menu
 
-@node Invoking @code{gmixvm}, MIXVM console, gmixvm, gmixvm
+@node Invoking gmixvm, MIXVM console, gmixvm, gmixvm
 @comment  node-name,  next,  previous,  up
 @section Invoking @code{gmixvm}
 
@@ -118,7 +118,7 @@ MIX programs (@pxref{Devices}), and a command history file.
 The following sections describe the above mentioned components of
 @code{gmixvm}.
 
-@node MIXVM console, MIX virtual machine, Invoking @code{gmixvm}, gmixvm
+@node MIXVM console, MIX virtual machine, Invoking gmixvm, gmixvm
 @comment  node-name,  next,  previous,  up
 @section MIXVM console
 
diff --git a/doc/mdk_index.texi b/doc/mdk_index.texi
index 04e545f..68f3c48 100644
--- a/doc/mdk_index.texi
+++ b/doc/mdk_index.texi
@@ -1,10 +1,10 @@
 @c -*-texinfo-*-
 @c This is part of the GNU MDK Reference Manual.
-@c Copyright (C) 2000, 2001, 2003
+@c Copyright (C) 2000, 2001, 2003, 2004
 @c   Free Software Foundation, Inc.
 @c See the file mdk.texi for copying conditions.
 
-@c $Id: mdk_index.texi,v 1.6 2003/06/02 23:20:38 jao Exp $
+@c $Id: mdk_index.texi,v 1.7 2004/08/03 13:23:06 jao Exp $
 
 @node Concept Index, Instructions and commands, Copying, Top
 @unnumbered Concept Index
diff --git a/doc/mdk_intro.texi b/doc/mdk_intro.texi
index d695770..b4ce2ad 100644
--- a/doc/mdk_intro.texi
+++ b/doc/mdk_intro.texi
@@ -1,10 +1,10 @@
 @c -*-texinfo-*-
 @c This is part of the GNU MDK Reference Manual.
-@c Copyright (C) 2000, 2001, 2003
+@c Copyright (C) 2000, 2001, 2003, 2004
 @c   Free Software Foundation, Inc.
 @c See the file mdk.texi for copying conditions.
 
-@c $Id: mdk_intro.texi,v 1.7 2003/06/04 00:03:19 jao Exp $
+@c $Id: mdk_intro.texi,v 1.8 2004/08/03 13:23:06 jao Exp $
 
 @node Introduction, Acknowledgments, Top, Top
 @comment  node-name,  next,  previous,  up
diff --git a/doc/mdk_mixasm.texi b/doc/mdk_mixasm.texi
index 4a956c1..c76480f 100644
--- a/doc/mdk_mixasm.texi
+++ b/doc/mdk_mixasm.texi
@@ -4,7 +4,7 @@
 @c   Free Software Foundation, Inc.
 @c See the file mdk.texi for copying conditions.
 
-@c $Id: mdk_mixasm.texi,v 1.8 2004/08/01 21:43:29 jao Exp $
+@c $Id: mdk_mixasm.texi,v 1.9 2004/08/03 13:23:06 jao Exp $
 
 @node mixasm, mixvm, Emacs tools, Top
 @comment  node-name,  next,  previous,  up
@@ -22,10 +22,10 @@ form by @code{mixasm}, the MIXAL assembler included in @sc{mdk}. In this
 chapter, you will find a complete description of @code{mixasm} options.
 
 @menu
-* Invoking @code{mixasm}::      @code{mixasm} options
+* Invoking mixasm::
 @end menu
 
-@node Invoking @code{mixasm},  , mixasm, mixasm
+@node Invoking mixasm,  , mixasm, mixasm
 @comment  node-name,  next,  previous,  up
 @section Invoking @code{mixasm}
 
diff --git a/doc/mdk_mixguile.texi b/doc/mdk_mixguile.texi
index c91e1f2..2d6ac65 100644
--- a/doc/mdk_mixguile.texi
+++ b/doc/mdk_mixguile.texi
@@ -1,10 +1,10 @@
 @c -*-texinfo-*-
 @c This is part of the GNU MDK Reference Manual.
-@c Copyright (C) 2000, 2001, 2003
+@c Copyright (C) 2000, 2001, 2003, 2004
 @c   Free Software Foundation, Inc.
 @c See the file mdk.texi for copying conditions.
 
-@c $Id: mdk_mixguile.texi,v 1.4 2003/01/11 22:39:40 jao Exp $
+@c $Id: mdk_mixguile.texi,v 1.5 2004/08/03 13:23:06 jao Exp $
 
 @node mixguile, Problems, gmixvm, Top
 @chapter @code{mixguile}, the Scheme virtual machine
diff --git a/doc/mdk_mixvm.texi b/doc/mdk_mixvm.texi
index ff7f567..427d100 100644
--- a/doc/mdk_mixvm.texi
+++ b/doc/mdk_mixvm.texi
@@ -4,7 +4,7 @@
 @c   Free Software Foundation, Inc.
 @c See the file mdk.texi for copying conditions.
 
-@c $Id: mdk_mixvm.texi,v 1.18 2004/08/01 21:43:29 jao Exp $
+@c $Id: mdk_mixvm.texi,v 1.19 2004/08/03 13:23:06 jao Exp $
 
 @node mixvm, gmixvm, mixasm, Top
 @comment  node-name,  next,  previous,  up
@@ -23,7 +23,7 @@ setting to aid you in debugging your code. For a tutorial description of
 @code{mixvm} usage, @xref{Running the program}.
 
 @menu
-* Invocation::                  Options when invoking @code{mixvm}.
+* Invocation::
 * Commands::                    Commands available in interactive mode.
 * Devices::                     MIX block devices implementation.
 @end menu