ldv-klever / klever

Read-only mirror of the Klever Git repository

Home Page:https://forge.ispras.ru/projects/klever

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Klever Documentation

The Klever documentation contains deployment instructions, tutorial, manuals for various use cases and some instructions for developers. You can find it online at http://klever.readthedocs.io or build it yourself.

To build the Klever documentation you need:

  • Install Python 3.4 or higher.

  • Install Sphinx and its Read the Docs theme, e.g.:

    pip3 install sphinx sphinx_rtd_theme
    

    or in a more reliable way:

    pip3 install -r docs/requirements.txt
    
  • Execute the following command from the source tree root directory (it should be executed each time when the documentation might be changed):

    make -C docs html
    

Then you can open generated documentation index "docs/_build/html/index.html" in a web browser.

About

Read-only mirror of the Klever Git repository

https://forge.ispras.ru/projects/klever

License:Apache License 2.0


Languages

Language:Python 40.2%Language:JavaScript 33.8%Language:C 17.8%Language:HTML 7.5%Language:CSS 0.7%Language:Shell 0.1%Language:Makefile 0.0%