X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Fdevel.texi;h=f7f00a726e2f263df312df2bc14d28428a7c8789;hp=eae54d163956de002a61f1d78424326704c31509;hb=8a983a2f9697daf07e8fdab3459f0fe99b3d22ad;hpb=5af653aea4f817d41de3d2ab3a9eeaec44016234

diff --git a/doc/devel.texi b/doc/devel.texi
index eae54d1..f7f00a7 100644
--- a/doc/devel.texi
+++ b/doc/devel.texi
@@ -7,9 +7,6 @@ Here are some tools that you might find useful while developing code.
 * Tags::
 * cscope::
 * CVS::
-@ifset recommendsourceforge 
-* SourceForge::
-@end ifset 
 @ifset recommendvnc
 * VNC::
 @end ifset 
@@ -82,19 +79,6 @@ home page}.
 
 @include localcvsinstructions.texi
 
-@ifset recommendsourceforge
-@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.  You can set up your own
-project in SourceForge at @uref{http://sourceforge.net, ,
-sourceforge.net}.
-@end ifset
-
 @ifset recommendvnc
 @node VNC
 @section VNC