diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2003-06-09 15:17:04 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2003-06-09 15:17:04 +0000 |
commit | a1c744caa75863468b234c41e6404f82e1293744 (patch) | |
tree | 43450d8300976255d5d04451144f529b079d76e9 /doc/mdk.texi | |
parent | d0126cfb3641442ff64628e6cce0cac0de9ed628 (diff) | |
download | mdk-a1c744caa75863468b234c41e6404f82e1293744.tar.gz mdk-a1c744caa75863468b234c41e6404f82e1293744.tar.bz2 |
markup error
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 $ |