[plugins] Branch for plugins development created

[Diego Novillo <dnovillo at google dot com>]

I have created the plugins branch (rev. 143989).  As I offered before,
I will help maintain the branch synchronized with mainline and with
patch reviews.  The branch can be checked out with

$ svn co svn://gcc.gnu.org/svn/gcc/branches/plugins

As usual, I created a wiki page for the branch
(http://gcc.gnu.org/wiki/plugins) and patched svn.html to document the
branch.

Before I can accept patches, however, I need to make sure that
everyone has copyright assignments on file.  I know that Taras, Basile
and Le-Chun do.  Sean and Grigori, do you folks have copyright papers
already?

I understand that Le-Chun has an initial patch for the branch based on
the API we've been discussing.  If everyone agrees, I will review that
for inclusion.

Gerald, is this patch to svn.html OK?  I see that there are some stale
entries in there.  I'll clean them up with a follow-up patch.


Thanks.  Diego.

Index: htdocs/svn.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/svn.html,v
retrieving revision 1.109
diff -d -u -p -r1.109 svn.html
--- htdocs/svn.html     9 Dec 2008 15:27:03 -0000       1.109
+++ htdocs/svn.html     6 Feb 2009 20:40:35 -0000
@@ -391,6 +391,11 @@ the command <code>svn log --stop-on-copy
   DWARF-4 is currently under development, so changes on this branch
   will remain experimental until Version 4 is officially finalized.</dd>

+  <dt>plugins</dt>
+  <dd>This branch adds plugin functionality to GCC.  See the <a
+  href="http://gcc.gnu.org/wiki/plugins";>plugins wiki</a> for
+  details.</dd>
+
 </dl>

 <h4>Architecture-specific</h4>