Providing help for your plug-in (How to extend Rodin Tutorial)

From Event-B
Revision as of 09:06, 23 August 2010 by imported>Pascal (→‎Creation)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Introduction

Extending the Extension Point

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.

Option 1: Writing the Help Files

Option 2: Generating the Help Files