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 | 62f1126fc839d444c44a403a5d61628cf2798ebd (patch) | |
| tree | 5b449b6f507851f5654c0b924c07fe37b4ac3333 /doc/mdk.texi | |
| parent | 8ff843f88b9b276e3dccb9c0850772e0975ef9a1 (diff) | |
| download | mdk-62f1126fc839d444c44a403a5d61628cf2798ebd.tar.gz mdk-62f1126fc839d444c44a403a5d61628cf2798ebd.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 $ |