summaryrefslogtreecommitdiff
path: root/man/maintaining.texi
diff options
context:
space:
mode:
Diffstat (limited to 'man/maintaining.texi')
-rw-r--r--man/maintaining.texi12
1 files changed, 12 insertions, 0 deletions
diff --git a/man/maintaining.texi b/man/maintaining.texi
index bbf56ce6818..f268c90bc31 100644
--- a/man/maintaining.texi
+++ b/man/maintaining.texi
@@ -40,6 +40,18 @@ one of its parent directories. A single @file{ChangeLog} file can
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,