From c7360972a2deb33fed25c60810559df35e918f82 Mon Sep 17 00:00:00 2001 From: Jose Antonio Ortega Ruiz Date: Tue, 3 Aug 2004 13:23:05 +0000 Subject: documentation cleanup --- doc/mdk.texi | 127 +++++++++++++++++++++++------------------------------------ 1 file changed, 49 insertions(+), 78 deletions(-) (limited to 'doc/mdk.texi') 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 $ -- cgit v1.2.3