X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fstandards.texi;h=fd25730e370c1ca1b6506ef791cf2d0b241f82c0;hb=452fc78e8a0702f4c8cbb0344c5756049c917ad1;hp=20e27a4463faae6d6bc12d2e801cbf095049dfb7;hpb=276b4866a63f409f91c27cbc6af8ec58e8cbad91;p=pintos-anon

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