gpl.texi: Remove.
authorAndreas Schwab <schwab@linux-m68k.org>
Thu, 28 Jun 2012 11:42:36 +0000 (11:42 +0000)
committerAndreas Schwab <schwab@gcc.gnu.org>
Thu, 28 Jun 2012 11:42:36 +0000 (11:42 +0000)
commit7db2226d074092cb701cdbc8e82ff49530a751cd
tree87da32c25ec0549071368ede66bb6ec4b0ee3c06
parent4ee4c52c64cc1eeda53aae6e221b5b1bd9bd7421
gpl.texi: Remove.

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

From-SVN: r189044
gcc/ChangeLog
gcc/doc/include/gpl.texi [deleted file]
gcc/doc/sourcebuild.texi