From bfc014623e8ece5a3258f83b00a9948b73403a44 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Wed, 24 Nov 2004 00:16:35 +0000 Subject: [PATCH] Finish that thought. --- doc/standards.texi | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 -- 2.30.2