| <?xml version="1.0" encoding="UTF-8"?> | |
| <plugin> | |
| <!-- This part should be in a documentation plugin --> | |
| <!-- Configure the help contribution for this plugin --> | |
| <extension point="org.eclipse.help.toc"> | |
| <toc | |
| file="doc/Developer-Guide-toc.xml" | |
| primary="true" /> | |
| <index | |
| path="index/"> | |
| </index> | |
| </extension> | |
| </plugin> |