X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdevel.texi;h=6496b4fc0973c51a2ca7580c9ebda0e0ce41d3f8;hb=5e68c020d57d0e8eab14f8cce9b8a1ce1ffddba5;hp=20af12f69b419bdb5ce8df583dc707d995a45cef;hpb=c574297b7acbcbf04d128113cf91dbbcc1730f9c;p=pintos-anon

diff --git a/doc/devel.texi b/doc/devel.texi
index 20af12f..6496b4f 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
 
@@ -22,7 +23,7 @@ In Emacs, use @kbd{M-.} to follow a tag in the current window,
 @kbd{C-x 4 .} in a new window, or @kbd{C-x 5 .} in a new frame.  If
 your cursor is on a symbol name for any of those commands, it becomes
 the default target.  If a tag name has multiple definitions, @kbd{M-0
-M-.} will jump to the next one.  To jump back to where you were before
+M-.} jumps to the next one.  To jump back to where you were before
 you followed the last tag, use @kbd{M-*}.
 
 @node CVS
@@ -37,14 +38,25 @@ version.  Furthermore, you can retrieve any old version of your code
 as of some given day and time.  The version control logs tell you who
 made changes and when.
 
-CVS is not the best version control system out there.  However, it's
-free, it's ubiquitous, and it's fairly easy to use.  More to the
-point, it's already available on the Leland machines you're using for
+CVS is not the best version control system out there, but it's
+free, it's fairly easy to use, and
+it's already available on the Leland machines you're using for
 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.  You can set up your own
+project in SourceForge at @uref{http://sourceforge.net, ,
+sourceforge.net}.
+
 @node VNC
 @section VNC