X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdevel.texi;h=86c47f471e7c3cb764cfd1aae939adcc2eeb4a0c;hb=399d2a1d044a1c8789ee6c1bea54c57cffa710f9;hp=20af12f69b419bdb5ce8df583dc707d995a45cef;hpb=01679e7fec5244d137cc9b2cfc2d72e946c4d9d2;p=pintos-anon

diff --git a/doc/devel.texi b/doc/devel.texi
index 20af12f..86c47f4 100644
--- a/doc/devel.texi
+++ b/doc/devel.texi
@@ -6,6 +6,7 @@ Here are some tools that you might find useful while developing code.
 @menu
 * Tags::                        
 * CVS::                         
+* SourceForge::                 
 * VNC::                         
 @end menu
 
@@ -45,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