diff options
Diffstat (limited to 'doc/mdk.texi')
| -rw-r--r-- | doc/mdk.texi | 28 |
1 files changed, 17 insertions, 11 deletions
diff --git a/doc/mdk.texi b/doc/mdk.texi index 38c0a02..a525243 100644 --- a/doc/mdk.texi +++ b/doc/mdk.texi @@ -25,9 +25,12 @@ programs using Donald Knuth's MIX language. Copyright (C) 2000, 2001 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". @ignore Permission is granted to process this file through TeX and print the @@ -36,12 +39,12 @@ 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 and distribute modified versions of this -manual under the conditions for verbatim copying, provided also that the -sections entitled ``Copying'' and ``GNU General Public License'' are -included exactly as in the original, and provided that the entire -resulting derived work is distributed under the terms of a permission -notice identical to this one. +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, @@ -106,11 +109,13 @@ helpful discussions, as well as actual code (@pxref{mixvm.el}). * mixvm:: Invoking and using the MIX virtual machine. * gmixvm:: Invoking and using the GTK+ virtual machine. * mixasm:: Invoking the MIXAL assembler. -* Copying:: @sc{mdk} licensing terms. * Problems:: Reporting bugs. +* Copying:: @sc{mdk} licensing terms. +* GNU Free Documentation License:: * Concept Index:: Index of concepts. + @detailmenu --- The Detailed Node Listing --- @@ -207,8 +212,9 @@ gmixvm @include mdk_mixvm.texi @include mdk_gmixvm.texi @include mdk_mixasm.texi -@include gpl.texi @include mdk_bugs.texi +@include gpl.texi +@include fdl.texi @include mdk_index.texi |