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

diff --git a/doc/fdl.texi b/doc/fdl.texi
index dd9a88a3..3ab5da10 100644
--- a/doc/fdl.texi
+++ b/doc/fdl.texi
@@ -1,5 +1,4 @@
-
-@node GNU Free Documentation License, , , Top
+@node GNU Free Documentation License
 @appendix GNU Free Documentation License
 
 @cindex FDL, GNU Free Documentation License
@@ -7,7 +6,7 @@
 
 @display
 Copyright @copyright{} 2000,2001,2002 Free Software Foundation, Inc.
-59 Temple Place, Suite 330, Boston, MA  02111-1307, USA
+51 Franklin St, Fifth Floor, Boston, MA  02110-1301, USA
 
 Everyone is permitted to copy and distribute verbatim copies
 of this license document, but changing it is not allowed.
@@ -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