This is the mail archive of the
mailing list for the GCC project.
Re: [wwwdocs] Fix link to plugins branch page
On Thu, Jun 18, 2009 at 14:01, Gerald Pfeifer<firstname.lastname@example.org> wrote:
> On Wed, 17 Jun 2009, Diego Novillo wrote:
>> I had forgotten to update the link to the plugins branch wiki page
>> from the main GCC page (thanks Basile).
> I will say that I liked the original link
>> -href="http://gcc.gnu.org/wiki/plugins">plugin framework</a> on host
>> +href="http://gcc.gnu.org/wiki/plugins-branch">plugin framework</a> on host
> much better than the new one, especially now that the branch has been
> merged. ÂIs this something you could change (and redirect) on the Wiki?
Well, it's really the same to me. Now that plugins are in mainline,
perhaps it makes better sense to make the plugins repository be a
landing page for plugins information. That page also has a link to
the old branch.
I'll change the link.