* doc/include/gpl.texi: Remove.
commit6788865370228cff7743b43e3a985e6c63104fe7
authorschwab <schwab@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 28 Jun 2012 11:42:36 +0000 (28 11:42 +0000)
committerschwab <schwab@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 28 Jun 2012 11:42:36 +0000 (28 11:42 +0000)
tree87da32c25ec0549071368ede66bb6ec4b0ee3c06
parent60420e1c32ba4bdd23188ae46879b387f769690a
* 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
gcc/ChangeLog
gcc/doc/include/gpl.texi [deleted file]
gcc/doc/sourcebuild.texi