summaryrefslogtreecommitdiff
path: root/gcc/doc/sourcebuild.texi
diff options
context:
space:
mode:
authorschwab <schwab@138bc75d-0d04-0410-961f-82ee72b054a4>2012-06-28 11:42:36 +0000
committerschwab <schwab@138bc75d-0d04-0410-961f-82ee72b054a4>2012-06-28 11:42:36 +0000
commit6788865370228cff7743b43e3a985e6c63104fe7 (patch)
tree87da32c25ec0549071368ede66bb6ec4b0ee3c06 /gcc/doc/sourcebuild.texi
parent60420e1c32ba4bdd23188ae46879b387f769690a (diff)
downloadgcc-6788865370228cff7743b43e3a985e6c63104fe7.tar.gz
* doc/include/gpl.texi: Remove.
* doc/sourcebuild.texi (Texinfo Manuals): Don't mention gpl.texi. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@189044 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/doc/sourcebuild.texi')
-rw-r--r--gcc/doc/sourcebuild.texi5
1 files changed, 2 insertions, 3 deletions
diff --git a/gcc/doc/sourcebuild.texi b/gcc/doc/sourcebuild.texi
index 3d834eeb095..dc5cc47c33a 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.