* doc/autoconf.texi, doc/install.texi: Add a copyright notice

to the INSTALL file.

diff --git a/ChangeLog b/ChangeLog
index 489fd0b6a5a2df6eb473e0e58691f932087cc2e0..2586fc807de9890ca32c9bf40c471ff3146f0e91 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2001-08-11  Paul Eggert  <eggert@twinsun.com>
+
+       * doc/autoconf.texi, doc/install.texi: Add a copyright notice
+       to the INSTALL file.
+
 2001-08-11  Paul Eggert  <eggert@twinsun.com>
 
        * NEWS: The autoconf manual now is distributed under the terms

diff --git a/INSTALL b/INSTALL
index 666ffd9f8aed70a1f0620b22f94ad85d0ce6145b..d172308497f2b237ba2edfe46a677814cc730e8e 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -224,3 +224,12 @@ operates.
 `configure' also accepts some other, not widely useful, options.  Run
 `configure --help' for more details.
 
+Copyright Notice for the `INSTALL' File
+=======================================
+
+   Copyright 1994, 1995, 1996, 1999, 2000, 2001 Free Software
+Foundation, Inc.
+
+   The `INSTALL' file is free documentation; the Free Software
+Foundation gives unlimited permission to copy, distribute and modify it.
+

diff --git a/doc/autoconf.texi b/doc/autoconf.texi
index 17b407c6f392ce8323d6a2388d44384c1f94616e..fd4c5e07e8ecdb00ae53014498c42936ba2300a8 100644 (file)
--- a/doc/autoconf.texi
+++ b/doc/autoconf.texi
@@ -352,6 +352,7 @@ Running @code{configure} Scripts
 * Sharing Defaults::            Setting site-wide defaults for @code{configure}
 * Environment Variables::       Defining environment variables.
 * configure Invocation::        Changing how @code{configure} runs
+* INSTALL Copyright Notice::    Copyright notice for the @file{INSTALL} file
 
 Obsolete Constructs
 
@@ -9566,6 +9567,7 @@ may use comes with Autoconf.
 * Sharing Defaults::            Setting site-wide defaults for @code{configure}
 * Environment Variables::       Defining environment variables.
 * configure Invocation::        Changing how @code{configure} runs
+* INSTALL Copyright Notice::    Copyright notice for the @file{INSTALL} file
 @end menu
 
 @include install.texi

diff --git a/doc/install.texi b/doc/install.texi
index 19fd35e315d0ee73f56fc6af12306424083d742f..28aeb1c250097d4f38e0691cfc29e676330d7ca9 100644 (file)
--- a/doc/install.texi
+++ b/doc/install.texi
@@ -256,3 +256,11 @@ Look for the package's source code in directory @var{dir}.  Usually
 @noindent
 @code{configure} also accepts some other, not widely useful, options.
 Run @samp{configure --help} for more details.
+
+@node INSTALL Copyright Notice
+@section Copyright Notice for the @file{INSTALL} File
+
+Copyright 1994, 1995, 1996, 1999, 2000, 2001 Free Software Foundation, Inc.
+
+The @file{INSTALL} file is free documentation; the Free Software
+Foundation gives unlimited permission to copy, distribute and modify it.