Project

General

Profile

Feature #7307

Support help pages

Added by Evgeny Novikov over 3 years ago. Updated over 3 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

Related to Klever - Feature #7306: Describe verification objects generation strategies and their options Closed06/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 formatClosed01/25/2017

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

Actions

History

#1

Updated by Evgeny Novikov over 3 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.

Also available in: Atom PDF