X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Flicense.texi;h=25fe4cdc06bcda9b2b0a4f64c47c750c5574c44b;hb=HEAD;hp=7902cd1e6265b1bba69494f87d65a34cc35ddab7;hpb=85cef9b9391f1aaf4b27bd90a02f8ce5daf004ee;p=pspp-builds.git diff --git a/doc/license.texi b/doc/license.texi index 7902cd1e..25fe4cdc 100644 --- a/doc/license.texi +++ b/doc/license.texi @@ -1,4 +1,4 @@ -@node License, Invocation, Introduction, Top +@node License @chapter Your rights and obligations @cindex license @cindex licence