plugin.xml 1.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657
  1. <?xml version="1.0" encoding="UTF-8"?>
  2. <?eclipse version="3.4"?>
  3. <plugin>
  4. <extension
  5. point="org.eclipse.help.toc">
  6. <toc
  7. file="toc.xml"
  8. primary="true">
  9. </toc>
  10. <toc
  11. file="help/01_Overview/overview-toc.xml"
  12. primary="false">
  13. </toc>
  14. <toc
  15. file="help/user/02_Getting_Started/getting_started-toc.xml"
  16. primary="false">
  17. </toc>
  18. <toc
  19. file="help/user/03_Concepts/concepts-toc.xml"
  20. primary="false">
  21. </toc>
  22. <toc
  23. file="help/user/04_Tasks/tasks-toc.xml"
  24. primary="false">
  25. </toc>
  26. <toc
  27. file="help/user/05_Reference/reference-toc.xml"
  28. primary="false">
  29. </toc>
  30. <toc
  31. file="help/developer/02_Getting_Started/getting_started-toc.xml"
  32. primary="false">
  33. </toc>
  34. <toc
  35. file="help/developer/03_Concepts/concepts-toc.xml"
  36. primary="false">
  37. </toc>
  38. <toc
  39. file="help/developer/04_Tasks/tasks-toc.xml"
  40. primary="false">
  41. </toc>
  42. <toc
  43. file="help/developer/05_Reference/reference-toc.xml"
  44. primary="false">
  45. </toc>
  46. </extension>
  47. <extension
  48. point="org.eclipse.help.contexts">
  49. <contexts
  50. file="contexts.xml"
  51. plugin="org.yakindu.sct.ui.editor">
  52. </contexts>
  53. </extension>
  54. </plugin>