# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1002335218 0
# Node ID eff57c5f75db7c83037e94b7a1da53f5dac1609d
# Parent  597f4c6fd1a0a3ef6ef36b4260fbf7a5e8b5f74e
Explain where and how to put the copyright notice and permission
notice in a change log file.

diff -r 597f4c6fd1a0 -r eff57c5f75db man/maintaining.texi
--- a/man/maintaining.texi	Sat Oct 06 02:18:09 2001 +0000
+++ b/man/maintaining.texi	Sat Oct 06 02:26:58 2001 +0000
@@ -40,6 +40,18 @@
 record changes for all the files in its directory and all its
 subdirectories.
 
+  You should put a copyright notice and permission notice at the
+end of the change log file.  Here is an example:
+
+@example
+Copyright 1997, 1998 Free Software Foundation, Inc.
+Copying and distribution of this file, with or without modification, are
+permitted provided the copyright notice and this notice are preserved.
+@end example
+
+@noindent
+Of course, you should substitute the proper years and copyright holder.
+
   A change log entry starts with a header line that contains the
 current date, your name, and your email address (taken from the
 variable @code{user-mail-address}).  Aside from these header lines,