Use macros for 8259A PIC registers, instead of writing them literally.

[pintos-anon] / doc / devel.texi

diff --git a/doc/devel.texi b/doc/devel.texi
index ea024c164404d280f4e520ac4301e1d13407d037..f7f00a726e2f263df312df2bc14d28428a7c8789 100644 (file)
--- a/doc/devel.texi
+++ b/doc/devel.texi
@@ -6,12 +6,13 @@ Here are some tools that you might find useful while developing code.
 @menu
 * Tags::
 * cscope::
-* CVS:: @ifset recommendsourceforge 
-* SourceForge:: @end ifset 
+* CVS::
 @ifset recommendvnc
-* VNC:: @end ifset 
+* VNC::
+@end ifset 
 @ifset recommendcygwin
-* Cygwin:: @end ifset
+* Cygwin::
+@end ifset
 @end menu
 
 @node Tags
@@ -78,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