| <?xml version="1.0" encoding="UTF-8"?> | |
| <?eclipse version="3.4"?> | |
| <plugin> | |
| <extension | |
| id="org.eclipse.osee.framework.dev.help.ui.docs" | |
| name="OSEE Developers' Help" | |
| point="org.eclipse.help.toc"> | |
| <toc | |
| file="toc.xml" | |
| primary="true"> | |
| </toc> | |
| <toc | |
| file="userguide/OSEE Developers Guide-toc.xml" | |
| primary="false"> | |
| </toc> | |
| </extension> | |
| </plugin> |