Major revisions to documentation.

[pintos-anon] / doc / doc.texi

diff --git a/doc/doc.texi b/doc/doc.texi
index c43a5bb9d9df506e717d6a626d082abc04840d61..5d516d36359d582cdfa2f6100fa373e6a871e584 100644 (file)
--- a/doc/doc.texi
+++ b/doc/doc.texi
@@ -1,4 +1,4 @@
-@node Project Documentation, Debugging Tools, Coding Standards, Top
+@node Project Documentation
 @appendix Project Documentation
 
 This chapter presents a sample assignment and a filled-in design