X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdevel.texi;h=86c47f471e7c3cb764cfd1aae939adcc2eeb4a0c;hb=c0a215d0068dbe0ac441eb1fc5d737d5ca169751;hp=df5d19685dbeb568d558efe22cb10634247234e2;hpb=64f9dd66983134b6b95ad2efffdac49323d04835;p=pintos-anon

diff --git a/doc/devel.texi b/doc/devel.texi
index df5d196..86c47f4 100644
--- a/doc/devel.texi
+++ b/doc/devel.texi
@@ -1,8 +1,15 @@
-@node Development Tools
+@node Development Tools, , Debugging Tools, Top
 @appendix Development Tools
 
 Here are some tools that you might find useful while developing code.
 
+@menu
+* Tags::                        
+* CVS::                         
+* SourceForge::                 
+* VNC::                         
+@end menu
+
 @node Tags
 @section Tags
 
@@ -39,6 +46,17 @@ the projects.
 For more information, visit the @uref{https://www.cvshome.org/, , CVS
 home page}.
 
+@node SourceForge
+@section SourceForge
+
+SourceForge is a web-based system for facilitating software
+development.  It provides you with a version-control system (typically
+CVS, as described above) and other tools for tracking your software.
+You can use it to store files, track bugs, and post notes about
+development progress.  It's also free.  You can set up your own
+project in SourceForge at @uref{http://sourceforge.net, ,
+sourceforge.net}.
+
 @node VNC
 @section VNC