From: Ben Pfaff 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