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 | bb0027b2a1463c14f08881569cea03c914902054 (patch) | |
| tree | 38d5f7acd79666a3640b8c9587ee4e4d51568b74 /doc/mdk.texi | |
| parent | 3023ba37d9dd1e5344c6e790b823869b579f60ad (diff) | |
| download | mdk-bb0027b2a1463c14f08881569cea03c914902054.tar.gz mdk-bb0027b2a1463c14f08881569cea03c914902054.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 |