From 7582d2a4f43878371686b5eb3cf0bf854ecabc96 Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Fri, 17 Aug 2001 00:42:44 +0000
Subject: [PATCH] Put INSTALL copyright notice at start, not at end.

---
 ChangeLog         |  5 +++++
 doc/autoconf.texi |  3 +--
 doc/install.texi  | 19 ++++++++++---------
 3 files changed, 16 insertions(+), 11 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 4d459d01..6c8c583b 100644
--- 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 41747fdf..01e85501 100644
--- 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 a999659e..249227bf 100644
--- 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.