projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Update docs.
[pintos-anon]
/
doc
/
projects.texi
diff --git
a/doc/projects.texi
b/doc/projects.texi
index a342fe7cc769098e7cb266a4fd6becfad815e161..90b85e97eb5c6231d9b58c612fb8f2f56dc7618e 100644
(file)
--- a/
doc/projects.texi
+++ b/
doc/projects.texi
@@
-9,6
+9,8
@@
* Project 4--File Systems::
* Multilevel Feedback Scheduling::
* Coding Standards::
* Project 4--File Systems::
* Multilevel Feedback Scheduling::
* Coding Standards::
+* Project Documentation::
+* Debugging Tools::
@end menu
@include intro.texi
@end menu
@include intro.texi
@@
-16,7
+18,7
@@
@include userprog.texi
@include vm.texi
@include filesys.texi
@include userprog.texi
@include vm.texi
@include filesys.texi
-@c @include devel.texi
@include mlfqs.texi
@include standards.texi
@include doc.texi
@include mlfqs.texi
@include standards.texi
@include doc.texi
+@include debug.texi