plugin.xml 1.1 KB

1234567891011121314151617181920212223242526
  1. <?xml version="1.0" encoding="UTF-8"?>
  2. <plugin>
  3. <extension point="org.eclipse.help.toc">
  4. <toc file="toc.xml" primary="true" />
  5. <!-- List all files constituting the documentation here: -->
  6. <toc file="help/tutorials/tutorials-toc.xml" primary="false"/>
  7. <toc file="help/user-guide/overview-toc.xml" primary="false"/>
  8. <toc file="help/user-guide/editing_statecharts-toc.xml" primary="false"/>
  9. <toc file="help/user-guide/simulating_statecharts-toc.xml" primary="false"/>
  10. <toc file="help/user-guide/advanced_simulation-toc.xml" primary="false"/>
  11. <toc file="help/user-guide/c-domain-toc.xml" primary="false"/>
  12. <toc file="help/user-guide/statechart_language-toc.xml" primary="false"/>
  13. <toc file="help/user-guide/generating_code-toc.xml" primary="false"/>
  14. <toc file="help/user-guide/generating_code_headless-toc.xml" primary="false"/>
  15. <toc file="help/installation/installation-toc.xml" primary="false"/>
  16. </extension>
  17. <extension point="org.eclipse.help.contexts">
  18. <contexts file="contexts.xml" plugin="org.yakindu.sct.ui.editor"/>
  19. </extension>
  20. </plugin>