_dnl__ This file is part of the source for the GDB manual.
_dnl__ M4 FRAGMENT: $Id$
_if__(_I960__)
-* i960-Nindy Remote::
+* i960-Nindy Remote:: _GDBN__ with a Remote i960 (Nindy)
_fi__(_I960__)
_if__(_AMD29K__)
-* EB29K Remote::
+* EB29K Remote:: _GDBN__ with a Remote EB29K
_fi__(_AMD29K__)
_if__(_VXWORKS__)
-* VxWorks Remote::
+* VxWorks Remote:: _GDBN__ and VxWorks
_fi__(_VXWORKS__)
@end itemize
@menu
-* Nindy Startup:: Startup with Nindy
-* Nindy Options:: Options for Nindy
-* Nindy reset:: Nindy Reset Command
+* Nindy Startup:: Startup with Nindy
+* Nindy Options:: Options for Nindy
+* Nindy reset:: Nindy Reset Command
@end menu
@node Nindy Startup, Nindy Options, i960-Nindy Remote, i960-Nindy Remote
@file{/dev/ttya} on the Unix system.
@menu
-* Comms (EB29K):: Communications Setup
-* _GDBP__-EB29K:: EB29K cross-debugging
-* Remote Log:: Remote Log
+* Comms (EB29K):: Communications Setup
+* _GDBP__-EB29K:: EB29K cross-debugging
+* Remote Log:: Remote Log
@end menu
@node Comms (EB29K), _GDBP__-EB29K, EB29K Remote, EB29K Remote
@end smallexample
@menu
-* VxWorks connection:: Connecting to VxWorks
-* VxWorks download:: VxWorks Download
-* VxWorks attach:: Running Tasks
+* VxWorks connection:: Connecting to VxWorks
+* VxWorks download:: VxWorks Download
+* VxWorks attach:: Running Tasks
@end menu
@node VxWorks connection, VxWorks download, VxWorks Remote, VxWorks Remote