X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fintro.texi;h=81b54fb5e11057721d5617675bf12168ad89896c;hb=c574297b7acbcbf04d128113cf91dbbcc1730f9c;hp=94a1bd6e42c8e3f8155852fe7cde345b547ed41b;hpb=ba48df561d04272b8cd819bf24c9cbde0f4bb085;p=pintos-anon

diff --git a/doc/intro.texi b/doc/intro.texi
index 94a1bd6..81b54fb 100644
--- a/doc/intro.texi
+++ b/doc/intro.texi
@@ -1,4 +1,4 @@
-@node Introduction, Project 1--Threads, Top, Top
+@node Introduction, Pintos Tour, Top, Top
 @chapter Introduction
 
 Welcome to Pintos.  Pintos is a simple operating system framework for