Add gp session in sphinx documents.
Add and configure in conf.py
:
extensions += ['sphinxcontrib.gp'] app.add_config_value('gp_version', '2.12', False) # if set, do not load the local gp files provided here app.add_config_value('gp_js_path', 'https://webusers.imj-prg.fr/~pascal.molin/static/gp.2.14', False) rstprog = [ # ( extension, begin rstcomment, end rstcomment ), ('.gp', '/**', '**/' ), ('.c', '/**', '**/' ), ]
In this repository
pip install .