Project

General

Profile

Actions

Feature #7307

open

Support help pages

Added by Evgeny Novikov almost 8 years ago. Updated almost 8 years ago.

Status:
New
Priority:
High
Category:
Bridge
Target version:
-
Start date:
06/20/2016
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Some things, e.g. #7306, need quite large help that can't be inlined. For them help page(s) is required. Bridge should show a link to these help pages, e.g. at the main menu.


Related issues 4 (1 open3 closed)

Related to Klever - Feature #7306: Describe verification objects generation strategies and their options ClosedAlexey Polushkin06/20/2016

Actions
Related to Klever - Feature #7309: Describe how to specify target modules to be verifiedRejected06/20/2016

Actions
Related to Klever - Feature #7908: Add description about converted error traces formatClosedVladimir Gratinskiy01/25/2017

Actions
Related to Klever - Feature #8344: Show help messages to distinguish confirmed bugs, false alarms, etc.NewVladimir Gratinskiy08/14/2017

Actions
Actions #1

Updated by Evgeny Novikov almost 8 years ago

Here it was suggested to develop all help pages in the RST format as Klever documentation while in Bridge just add a link to generated documentation (in HTML, PDF or any other format supported by Sphinx). On deployment corresponding documentation will be put somewhere inside Bridge source code and the link should lead there.

Actions

Also available in: Atom PDF