From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 24 Nov 2004 00:16:35 +0000 (+0000)
Subject: Finish that thought.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1b47a133b4d374666143ad9636b3270ef79757f0;p=pintos-anon

Finish that thought.
---

diff --git a/doc/standards.texi b/doc/standards.texi
index 20e27a4..fd25730 100644
--- a/doc/standards.texi
+++ b/doc/standards.texi
@@ -50,7 +50,9 @@ this documentation (@pxref{References}).
 If you remove existing Pintos code, please delete it from your source
 file entirely.  Don't just put it into a comment or a conditional
 compilation directive, because that makes the resulting code hard to
-read.  If you're worried about 
+read.  We're only going to do a compile in the directory for the current
+project, so you don't need to make sure that the previous projects also
+compile.
 
 @node Conditional Compilation
 @section Conditional Compilation