No longer recommend SourceForge.

Really it seems like a bad idea for students.

diff --git a/doc/devel.texi b/doc/devel.texi
index eae54d163956de002a61f1d78424326704c31509..f7f00a726e2f263df312df2bc14d28428a7c8789 100644 (file)
--- 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

diff --git a/doc/localsettings.texi b/doc/localsettings.texi
index e8bb45b07e3a61f18c2e5ec31d0a1c1c20b07fba..4f061595d860e446bad1a7f4de1865458ab0d23f 100644 (file)
--- a/doc/localsettings.texi
+++ b/doc/localsettings.texi
@@ -5,7 +5,6 @@
 @set localpintoshttppath http://@/www.stanford.edu/@/class/@/cs140/@/pintos/@/pintos.@/tar.gz
 @set localpintosbindir /usr/class/cs140/`uname -m`/bin
 
-@set recommendsourceforge
 @set recommendvnc
 @clear recommendcygwin
 
@@ -58,8 +57,7 @@ inspired your own in your design documentation.
 
 @macro localcvspolicy{}
 Instead, we recommend integrating your team's changes early and often,
-using a source code control system such as CVS (@pxref{CVS}) or a
-group collaboration site such as SourceForge (@pxref{SourceForge}).
+using a source code control system such as CVS (@pxref{CVS}).
 This is less likely to produce surprises, because everyone can see
 everyone else's code as it is written, instead of just when it is
 finished.  These systems also make it possible to review changes and,