X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fpspp.texinfo;h=18828047118e03742ccbdc4c7140b93468d63e04;hb=196db9f58754f9f42d8679384b610aa41c820cfb;hp=ae3db342b9bdf27c4d682f7980d01b096090685e;hpb=d0b91eae59319ab2756d0d43b9cb15eb9cd3c234;p=pspp

diff --git a/doc/pspp.texinfo b/doc/pspp.texinfo
index ae3db342b9..1882804711 100644
--- a/doc/pspp.texinfo
+++ b/doc/pspp.texinfo
@@ -44,15 +44,11 @@ Copyright @copyright{} 1997, 1998, 2004, 2005, 2009 Free Software Foundation, In
 
 @quotation
 Permission is granted to copy, distribute and/or modify this document
-under the terms of the GNU Free Documentation License, Version 1.1 or
-any later version published by the Free Software Foundation; with no
-Invariant Sections, with the Front-Cover Texts being ``A GNU Manual,''
-and with the Back-Cover Texts as in (a) below.  A copy of the
-license is included in the section entitled ``GNU Free Documentation
-License.''
-
-(a) The FSF's Back-Cover Text is: ``You have the freedom to copy and
-modify this GNU manual.''
+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
+Free Documentation License".
 @end quotation
 @end copying