X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fstandards.texi;h=b1296c76f18baa1b700cb1adf9fb684568f52e46;hb=f415a37905c57f61b444806bf84f5405184452aa;hp=8e0f0e02bc4a79a4fd1243d2f6d4435fc809ed4e;hpb=8abbb333aea445641d967befd3ca477502ea770b;p=pintos-anon

diff --git a/doc/standards.texi b/doc/standards.texi
index 8e0f0e0..b1296c7 100644
--- a/doc/standards.texi
+++ b/doc/standards.texi
@@ -1,4 +1,4 @@
-@node Coding Standards, Project Documentation, 4.4BSD Scheduler, Top
+@node Coding Standards
 @appendix Coding Standards
 
 All of you should have taken a class like CS 107, so we expect you to be
@@ -45,7 +45,7 @@ Please limit C source file lines to at most 79 characters long.
 Pintos comments sometimes refer to external standards or
 specifications by writing a name inside square brackets, like this:
 @code{[IA32-v3a]}.  These names refer to the reference names used in
-this documentation (@pxref{References}).
+this documentation (@pxref{Bibliography}).
 
 If you remove existing Pintos code, please delete it from your source
 file entirely.  Don't just put it into a comment or a conditional