diff options
Diffstat (limited to 'doc/mdk.texi')
| -rw-r--r-- | doc/mdk.texi | 18 |
1 files changed, 14 insertions, 4 deletions
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 |