From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 5 Apr 2006 21:17:44 +0000 (+0000)
Subject: Clarify that fixed-point.h is a new file in the reference solution.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4813b7b94a12a6f00763016319b79ee0177525fe;p=pintos-anon

Clarify that fixed-point.h is a new file in the reference solution.
Thanks to Megan Anneke Wachs <wachs@stanford.edu> for the question.
---

diff --git a/doc/threads.texi b/doc/threads.texi
index 77afeda..fe54d77 100644
--- a/doc/threads.texi
+++ b/doc/threads.texi
@@ -547,6 +547,8 @@ modified by the reference solution.
  5 files changed, 440 insertions(+), 29 deletions(-)
 @end verbatim
 
+@file{fixed-point.h} is a new file added by the reference solution.
+
 @item How do I update the @file{Makefile}s when I add a new source file?
 
 @anchor{Adding Source Files}