X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Flocalsettings.texi;h=e8bb45b07e3a61f18c2e5ec31d0a1c1c20b07fba;hp=6a3dc3ee4b7dff52a58de345de7b5b9a0118d23e;hb=8bc47e15da36b072924f8281688ea92935ae1c18;hpb=d158a7cd545fa8dd35dba91935029465eedff0da

diff --git a/doc/localsettings.texi b/doc/localsettings.texi
index 6a3dc3e..e8bb45b 100644
--- a/doc/localsettings.texi
+++ b/doc/localsettings.texi
@@ -5,6 +5,10 @@
 @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
+
 @macro localmachines{}
 The CS 140 ``officially supported'' Pintos development machines are
 the machines in Sweet Hall managed by Stanford ITSS, as described on
@@ -71,3 +75,6 @@ reviewing that document.  We expect code at the ``Peer-Review Quality''
 level described there.
 @end macro
 
+@macro localdevelopmenttools{}
+@c Descriptions of additional, local development tools can be inserted here
+@end macro