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?p=pintos-anon;a=commitdiff_plain;h=671e57c95432c2852a576ab6c85f4a254ec93a83

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}