X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fthreads.texi;h=fe54d77e82fd53d14c89a0ccef4b88fee8503c29;hb=671e57c95432c2852a576ab6c85f4a254ec93a83;hp=77afeda0e17a49a0062062b16d6c9ba328c705b5;hpb=29c1ba099f587c7f6fb714c140ed47a69c59566f;p=pintos-anon

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}