X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fintroduction.texi;h=4c5a1b6d02e6bcede5790948fab280362279ce1c;hb=e21ed65bab28549cd4bb5e8761e5632567ac4cb2;hp=64bb5b25e12fc3e810142a4f0347ce224b25edd7;hpb=1fc3af93c0ba6cbaf7ef09edc979096b6f16dd6f;p=pspp

diff --git a/doc/introduction.texi b/doc/introduction.texi
index 64bb5b25e1..4c5a1b6d02 100644
--- a/doc/introduction.texi
+++ b/doc/introduction.texi
@@ -1,4 +1,4 @@
-@node Introduction, License, Top, Top
+@node Introduction
 @chapter Introduction
 @cindex introduction