X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdoc.texi;h=5d516d36359d582cdfa2f6100fa373e6a871e584;hb=9f013d0930202eea99c21083b71098a0df64be0d;hp=c43a5bb9d9df506e717d6a626d082abc04840d61;hpb=629ddac81289018a0ab9caa723ae876f3b44eb64;p=pintos-anon

diff --git a/doc/doc.texi b/doc/doc.texi
index c43a5bb..5d516d3 100644
--- 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