X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ffdl.texi;h=04872ac49d488bce1dec45186bacb64ae9a59817;hb=106d3ad905054693a6e424305167452bbaa49f87;hp=96ce74ea1a425be9e510bac225a8f8578c7b2e4b;hpb=b314ca18dc36e59297f66b2508fd58535a1cd724;p=pspp

diff --git a/doc/fdl.texi b/doc/fdl.texi
index 96ce74ea1a..04872ac49d 100644
--- a/doc/fdl.texi
+++ b/doc/fdl.texi
@@ -1,5 +1,5 @@
 @c The GNU Free Documentation License.
-@center Version 1.2, November 2002
+@center Version 1.3, November 2002
 
 @c This file is intended to be included within another document,
 @c hence no sectioning command or @node.
@@ -417,7 +417,7 @@ license notices just after the title page:
 @group
   Copyright (C)  @var{year}  @var{your name}.
   Permission is granted to copy, distribute and/or modify this document
-  under the terms of the GNU Free Documentation License, Version 1.2
+  under the terms of the GNU Free Documentation License, Version 1.3
   or any later version published by the Free Software Foundation;
   with no Invariant Sections, no Front-Cover Texts, and no Back-Cover
   Texts.  A copy of the license is included in the section entitled ``GNU