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? X-Patchwork-Submitter: Andreas Schwab X-Patchwork-Id: 167860 Message-Id: To: Gerald Pfeifer Cc: "Joseph S. Myers" , Georg-Johann Lay , gcc@gcc.gnu.org, gcc-patches@gcc.gnu.org Date: Thu, 28 Jun 2012 13:42:53 +0200 From: Andreas Schwab List-Id: Gerald Pfeifer 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.