Providing help for your plug-in (How to extend Rodin Tutorial)
From Event-B
Revision as of 12:24, 23 August 2010 by imported>Pascal (→Examining the Help Files)
Contents
Providing Help Contents
Each plug-in that contributes help files shall extend the org.eclipse.help.toc extension point and create the TOC files that describe the table of contents for the help and the topic interleaving.
Creating the Help Plug-in
Let's first create such a plug-in. It will only contain documentation files, and the "Create Java Project" option (tag 1) do not need to be checked.
Then, the easiest way to proceed for beginners is to start from the available template:
Examining the Help Files
Three .xml files have been created:
- plugin.xml
- testToc.xml
- toc.xml
When opening the plugin.xml file, we can see that the testToc.xml file is a primary file, i.e. it contains the master table of contents; toc.xml is not primary, but is integrated into this table of contents.