| <?xml version="1.0" encoding="UTF-8"?> | |
| <?eclipse version="3.0"?> | |
| <plugin> | |
| <extension | |
| point="org.eclipse.help.toc"> | |
| <toc file="guide/toc.xml" primary="true"> | |
| </toc> | |
| <toc file="guide/reference/theming/toc.xml" primary="false"> | |
| </toc> | |
| </extension> | |
| </plugin> |