Makefile.in (TEXI_GCCINT_FILES): Add plugins.texi.
authorBrad Hards <bradh@kde.org>
Wed, 13 May 2009 21:14:49 +0000 (21:14 +0000)
committerDiego Novillo <dnovillo@gcc.gnu.org>
Wed, 13 May 2009 21:14:49 +0000 (17:14 -0400)
commitfb2017673e4ebe5e0cf815b71b50a41c9238eebf
tree4ee61abd7ccc66e905661f902632a79568dcf1ef
parentefc3527addeabd8efa2c3f174e3128db32a38129
Makefile.in (TEXI_GCCINT_FILES): Add plugins.texi.

2009-05-13  Brad Hards  <bradh@kde.org>

* Makefile.in (TEXI_GCCINT_FILES): Add plugins.texi.

From-SVN: r147499
gcc/ChangeLog
gcc/Makefile.in