From patchwork Thu Jun 28 11:42:53 2012
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Subject: [onlinedocs] : No more automatic rebuilt?
From: Andreas Schwab <schwab@linux-m68k.org>
X-Patchwork-Id: 167860
Message-Id: <m2sjdf64si.fsf@igel.home>
To: Gerald Pfeifer <gerald@pfeifer.com>
Cc: "Joseph S. Myers" <joseph@codesourcery.com>,
 Georg-Johann Lay <avr@gjlay.de>, gcc@gcc.gnu.org, gcc-patches@gcc.gnu.org
Date: Thu, 28 Jun 2012 13:42:53 +0200

Gerald Pfeifer <gerald@pfeifer.com> writes:

> If it's not used any more, yes, please go ahead an remove it.

Done as this, tested with make info.

Andreas.

	* doc/include/gpl.texi: Remove.
	* doc/sourcebuild.texi (Texinfo Manuals): Don't mention gpl.texi.

diff --git a/gcc/doc/include/gpl.texi b/gcc/doc/include/gpl.texi
deleted file mode 100644
index bcb5535..0000000
[omitted]
diff --git a/gcc/doc/sourcebuild.texi b/gcc/doc/sourcebuild.texi
index 3d834ee..dc5cc47 100644
--- a/gcc/doc/sourcebuild.texi
+++ b/gcc/doc/sourcebuild.texi
@@ -1,4 +1,4 @@
-@c Copyright (C) 2002, 2003, 2004, 2005, 2007, 2008, 2009, 2010, 2011
+@c Copyright (C) 2002, 2003, 2004, 2005, 2007, 2008, 2009, 2010, 2011, 2012
 @c Free Software Foundation, Inc.
 @c This is part of the GCC manual.
 @c For copying conditions, see the file gcc.texi.
@@ -368,8 +368,7 @@ The GNU Free Documentation License.
 The section ``Funding Free Software''.
 @item gcc-common.texi
 Common definitions for manuals.
-@item gpl.texi
-@itemx gpl_v3.texi
+@item gpl_v3.texi
 The GNU General Public License.
 @item texinfo.tex
 A copy of @file{texinfo.tex} known to work with the GCC manuals.