X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fverify.texi;h=c493cbb23458f0ab19b0101a70e079e96b9a445f;hb=106d3ad905054693a6e424305167452bbaa49f87;hp=218bdb9724538e5a640cdbac4cb4e770c61df5dc;hpb=b314ca18dc36e59297f66b2508fd58535a1cd724;p=pspp

diff --git a/doc/verify.texi b/doc/verify.texi
index 218bdb9724..c493cbb234 100644
--- a/doc/verify.texi
+++ b/doc/verify.texi
@@ -3,7 +3,7 @@
 @c Copyright (C) 2006 Free Software Foundation, Inc.
 
 @c Permission is granted to copy, distribute and/or modify this document
-@c under the terms of the GNU Free Documentation License, Version 1.2
+@c under the terms of the GNU Free Documentation License, Version 1.3
 @c or any later version published by the Free Software Foundation;
 @c with no Invariant Sections, no Front-Cover Texts, and no Back-Cover
 @c Texts.  A copy of the license is included in the ``GNU Free