Skip to content

Decide on how to create User Documentation, and set up Infrastructure #198

@jastram

Description

@jastram

The toolchain must include user documentation, for various reasons. An infrastructure for this must be created.

I found the management of documentation in a wiki useful, which is automatically included in the form of Eclipse Help into the product by the CI system (we do this for RMF, see http://eclipse.org/rmf/pror/)

For sophisticated documentation, it is possible to use Latex to generate a handbook, online help and Eclipse help at the same time (we do this with Rodin, see http://handbook.event-b.org/)

These are just two possibilities. Once we decide on one, we can independently delegate the creation of documentation.

Requirements

  1. The solution shall generate PDF and Eclipse Help
  2. The documentation must be available as HTML as well
  3. The Eclipse Help shall support context sensitive Help

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions