From ada6ad6998c2d96225ea49abe2a91732f7d32674 Mon Sep 17 00:00:00 2001 From: Jose Antonio Ortega Ruiz Date: Tue, 4 Sep 2001 22:09:04 +0000 Subject: licenses in one appendix --- doc/mdk.texi | 18 ++++++++++++++---- 1 file changed, 14 insertions(+), 4 deletions(-) (limited to 'doc/mdk.texi') diff --git a/doc/mdk.texi b/doc/mdk.texi index 7760fac..3a6c238 100644 --- a/doc/mdk.texi +++ b/doc/mdk.texi @@ -111,7 +111,6 @@ helpful discussions, as well as actual code (@pxref{mixvm.el}). * mixasm:: Invoking the MIXAL assembler. * Problems:: Reporting bugs. * Copying:: @sc{mdk} licensing terms. -* GNU Free Documentation License:: * Concept Index:: Index of concepts. @@ -120,6 +119,11 @@ helpful discussions, as well as actual code (@pxref{mixvm.el}). + + + + + @detailmenu --- The Detailed Node Listing --- @@ -191,7 +195,7 @@ Interactive commands * File commands:: Loading and executing programs. * Debug commands:: Debugging programs. * State commands:: Inspecting the virtual machine state. -* Configuration commands:: +* Configuration commands:: Storing mixvm settings. @code{gmixvm}, the GTK virtual machine @@ -206,6 +210,11 @@ Interactive commands * Invoking @code{mixasm}:: @code{mixasm} options +Copying + +* GNU General Public License:: +* GNU Free Documentation License:: + @end detailmenu @end menu @@ -218,8 +227,9 @@ Interactive commands @include mdk_gmixvm.texi @include mdk_mixasm.texi @include mdk_bugs.texi -@include gpl.texi -@include fdl.texi +@c @include gpl.texi +@c @include fdl.texi +@include mdk_copying.texi @include mdk_index.texi -- cgit v1.2.3