<plugin>
<extension point="org.eclipse.help.toc">
      <toc
            category="virgo"
            file="main.xml"
            primary="true">
      </toc>
<toc
      category="virgo"
      file="user/toc.xml"
      primary="false"></toc>
      <toc
      category="virgo"
      file="programmer/toc.xml"
      primary="false"></toc>
      <toc
      category="virgo"
      file="tooling/toc.xml"
      primary="false"></toc>
      <toc
      category="virgo"
      file="bundlor/toc.xml"
      primary="false"></toc>
      <toc
      category="virgo"
      file="greenpages/toc.xml"
      primary="false"></toc>
      <toc
      category="virgo"
      file="wiki/Virgo-Build-toc.xml"
      primary="false"></toc>
      <toc
      category="virgo"
      file="wiki/Virgo-Committers-toc.xml"
      primary="false"></toc>
      <toc
      category="virgo"
      file="wiki/Virgo-Community-toc.xml"
      primary="false"></toc>
      <toc
      category="virgo"
      file="wiki/Virgo-Concepts-toc.xml"
      primary="false"></toc>
      <toc
      category="virgo"
      file="wiki/Virgo-FAQ-toc.xml"
      primary="false"></toc>
      <toc
      category="virgo"
      file="wiki/Virgo-Future-toc.xml"
      primary="false"></toc>
      <toc
      category="virgo"
      file="wiki/Virgo-Source-toc.xml"
      primary="false"></toc>
      <toc
      category="virgo"
      file="wiki/Virgo-Test-toc.xml"
      primary="false"></toc>
      <toc
      category="virgo"
      file="wiki/toc.xml"
      primary="false"></toc>
</extension>
<extension point="org.eclipse.help.index">
<index file="tooling/index.xml"></index>
<index file="user/index.xml"></index>
<index file="programmer/index.xml"></index>
</extension>
</plugin>