diff options
Diffstat (limited to 'doc/mdk.texi')
-rw-r--r-- | doc/mdk.texi | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/doc/mdk.texi b/doc/mdk.texi index 72dc8ef..2a6f522 100644 --- a/doc/mdk.texi +++ b/doc/mdk.texi @@ -121,9 +121,6 @@ helpful discussions, as well as actual code (@pxref{GUD integration}). * Instructions and commands:: Index of MIXAL instructions and MIXVM commands. @detailmenu - - -@detailmenu --- The Detailed Node Listing --- Installing @sc{mdk} @@ -275,4 +272,4 @@ Copying @contents @bye -$Id: mdk.texi,v 1.20 2003/06/04 00:03:19 jao Exp $ +$Id: mdk.texi,v 1.21 2003/06/09 15:17:04 jao Exp $ |