X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Flicense.texi;h=b5f4203eb91eca469bcd60aa45057ba1d35f0c4d;hb=1e8c230029fffed93872704085af54359912be00;hp=b856a431a6f21680cc2ba723ad6101a9cbd818f4;hpb=72318eac4782acf0215da8dfd4575ac66a9a9f74;p=pspp-builds.git

diff --git a/doc/license.texi b/doc/license.texi
index b856a431..b5f4203e 100644
--- a/doc/license.texi
+++ b/doc/license.texi
@@ -1,4 +1,4 @@
-@node License, Credits, Introduction, Top
+@node License, Invocation, Introduction, Top
 @chapter Your rights and obligations
 @cindex license
 @cindex your rights and obligations