Commit | Line | Data |
---|---|---|
1 | <?xml version="1.0" encoding="UTF-8"?> | |
2 | <plugin> | |
3 | <!-- This part should be in a documentation plugin --> | |
4 | <!-- Configure the help contribution for this plugin --> | |
5 | <extension point="org.eclipse.help.toc"> | |
6 | <toc | |
7 | file="doc/User-Guide-toc.xml" | |
8 | primary="true" /> | |
9 | </extension> | |
10 | </plugin> |