| <?xml version="1.0" encoding="UTF-8"?> | |
| <?eclipse version="3.4"?> | |
| <plugin> | |
| <extension | |
| point="org.eclipse.help.toc"> | |
| <toc | |
| file="root-user_editors-toc.xml" | |
| primary="false"> | |
| </toc> | |
| <toc | |
| file="toc/editors-toc.xml" | |
| primary="false"> | |
| </toc> | |
| <toc | |
| file="toc/sirius-editor-toc.xml" | |
| primary="false"> | |
| </toc> | |
| </extension> | |
| </plugin> |