summaryrefslogtreecommitdiffhomepage
path: root/doc/mdk.texi
diff options
context:
space:
mode:
Diffstat (limited to 'doc/mdk.texi')
-rw-r--r--doc/mdk.texi18
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