summaryrefslogtreecommitdiffhomepage
path: root/doc/mdk.texi
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2004-08-03 13:23:05 +0000
committerJose Antonio Ortega Ruiz <jao@gnu.org>2004-08-03 13:23:05 +0000
commit40ccfa36c51b4ce468168427bf7886cdbae62245 (patch)
tree747472d77ba14473f1399e52605564c213d4f9a7 /doc/mdk.texi
parent671323615c9051eaf666c09628f2ff043f393cd5 (diff)
downloadmdk-40ccfa36c51b4ce468168427bf7886cdbae62245.tar.gz
mdk-40ccfa36c51b4ce468168427bf7886cdbae62245.tar.bz2
documentation cleanup
Diffstat (limited to 'doc/mdk.texi')
-rw-r--r--doc/mdk.texi127
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 $