X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Ffdl.texi;h=b82e6b8cc82086e3a64489fa57f60075ae315b7f;hb=bd9396a24e862f444e1d3199f3a9dfd0d65daceb;hp=fe78df8d5399bef64eb6ffb539f3b2b19e9c521e;hpb=a31fd6d4b27ccf0f55916db953e640426b2c9ca8;p=pspp-builds.git

diff --git a/doc/fdl.texi b/doc/fdl.texi
index fe78df8d..b82e6b8c 100644
--- a/doc/fdl.texi
+++ b/doc/fdl.texi
@@ -1,6 +1,5 @@
-
-@node GNU Free Documentation License
-@appendixsec GNU Free Documentation License
+@node GNU Free Documentation License, , q2c Input Format, Top
+@appendix GNU Free Documentation License
 
 @cindex FDL, GNU Free Documentation License
 @center Version 1.2, November 2002
@@ -408,7 +407,7 @@ as a draft) by the Free Software Foundation.
 @end enumerate
 
 @page
-@appendixsubsec ADDENDUM: How to use this License for your documents
+@appendixsec ADDENDUM: How to use this License for your documents
 
 To use this License in a document you have written, include a copy of
 the License in the document and put the following copyright and