X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fctime.texi;h=53899ebb221cc8d7bbbfe30d1bdc037d418c60c3;hb=6ca14d85c529a96e61a43acefd84bf526e744939;hp=e7135db8addfd3ba0bc76485599c6c5bfa5a5af9;hpb=fc97d798d2c5cb5453e9462433fdebde01b23ac7;p=pspp

diff --git a/doc/ctime.texi b/doc/ctime.texi
index e7135db8ad..53899ebb22 100644
--- a/doc/ctime.texi
+++ b/doc/ctime.texi
@@ -2,6 +2,15 @@
 @section ctime
 @findex ctime
 
+@c Copyright (C) 2005, 2009-2011 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.3 or
+@c any later version published by the Free Software Foundation; with no
+@c Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
+@c Texts.  A copy of the license is included in the ``GNU Free
+@c Documentation License'' file as part of this distribution.
+
 The @code{ctime} function need not be reentrant, and consequently is
 not required to be thread safe.  Implementations of @code{ctime}
 typically write the time stamp into static buffer.  If two threads