diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-09-04 22:09:04 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-09-04 22:09:04 +0000 |
| commit | ada6ad6998c2d96225ea49abe2a91732f7d32674 (patch) | |
| tree | b066eaef5b3ac454e70391b1e80f44cb38d0d5e7 /doc/mdk.texi | |
| parent | 646170d45632b2d72cd1ec6d18448bd300ca7bbe (diff) | |
| download | mdk-ada6ad6998c2d96225ea49abe2a91732f7d32674.tar.gz mdk-ada6ad6998c2d96225ea49abe2a91732f7d32674.tar.bz2 | |
licenses in one appendix
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 |