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

diff --git a/doc/fdl.texi b/doc/fdl.texi
index fe78df8d..3ab5da10 100644
--- a/doc/fdl.texi
+++ b/doc/fdl.texi
@@ -1,6 +1,5 @@
-
 @node GNU Free Documentation License
-@appendixsec GNU Free Documentation License
+@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