Put INSTALL copyright notice at start, not at end.

diff --git a/ChangeLog b/ChangeLog
index 4d459d016a941809e80f096b41cba9742b86a0e0..6c8c583b6bb6be810b3f2496228af147021e8c22 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2001-08-16  Paul Eggert  <eggert@twinsun.com>
+
+       * doc/autoconf.texi, doc/install.texi: Put copyright notice at
+       start, not at end.
+
 2001-08-15  Akim Demaille  <akim@epita.fr>
 
        * doc/Makefile.am (fu): New index, can't use fn because of defmac.

diff --git a/doc/autoconf.texi b/doc/autoconf.texi
index 41747fdfde2ec90f1fdf400692aa728ecdb6d162..01e85501ff092b4993095464c144f64c6a50c45d 100644 (file)
--- a/doc/autoconf.texi
+++ b/doc/autoconf.texi
@@ -381,7 +381,6 @@ Running @code{configure} Scripts
 * Sharing Defaults::            Setting site-wide defaults for @code{configure}
 * Defining Variables::          Specifying the compiler etc.
 * configure Invocation::        Changing how @code{configure} runs
-* INSTALL Copyright Notice::    Copyright notice for the @file{INSTALL} file
 
 Obsolete Constructs
 
@@ -9669,9 +9668,9 @@ may use comes with Autoconf.
 * Sharing Defaults::            Setting site-wide defaults for @code{configure}
 * Defining Variables::          Specifying the compiler etc.
 * configure Invocation::        Changing how @code{configure} runs
-* INSTALL Copyright Notice::    Copyright notice for the @file{INSTALL} file
 @end menu
 
+@set autoconf_manual
 @include install.texi
 
 

diff --git a/doc/install.texi b/doc/install.texi
index a999659eccc26c8d891b95ea0292c7e2976b61ab..249227bf5a60577e4a9e2bd9d96e8af1102bdf1b 100644 (file)
--- a/doc/install.texi
+++ b/doc/install.texi
@@ -1,6 +1,16 @@
 @c This file is included by autoconf.texi and is used to produce
 @c the INSTALL file.
 
+@ifclear autoconf_manual
+
+Copyright 1994, 1995, 1996, 1999, 2000, 2001 Free Software Foundation,
+Inc.
+
+This file is free documentation; the Free Software Foundation gives
+unlimited permission to copy, distribute and modify it.
+
+@end ifclear
+
 @node Basic Installation
 @section Basic Installation
 
@@ -258,12 +268,3 @@ Look for the package's source code in directory @var{dir}.  Usually
 @noindent
 @command{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.