- moved all instructions that related to local CVS/group setup in localcvsinstruction...

[pintos-anon] / doc / localsettings.texi

diff --git a/doc/localsettings.texi b/doc/localsettings.texi
index 6a3dc3ee4b7dff52a58de345de7b5b9a0118d23e..e8bb45b07e3a61f18c2e5ec31d0a1c1c20b07fba 100644 (file)
--- 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