projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Clarify that fixed-point.h is a new file in the reference solution.
[pintos-anon]
/
doc
/
threads.texi
diff --git
a/doc/threads.texi
b/doc/threads.texi
index 77afeda0e17a49a0062062b16d6c9ba328c705b5..fe54d77e82fd53d14c89a0ccef4b88fee8503c29 100644
(file)
--- 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}