-@node Development Tools, , Debugging Tools, Top
+@node Development Tools
@appendix Development Tools
Here are some tools that you might find useful while developing code.
@menu
* Setting Up CVS::
* Using CVS::
+* CVS Locking::
@end menu
@node Setting Up CVS