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

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