A||Go user documentation
To be compiled, it requires:
- Sphinx
- Sphinx RTD theme
The documentation can been seen at https://allgo.gitlabpages.inria.fr/doc/.
Requirements
You need to have python3 and pip3 installed on your machine.We encourage you to use virtualenv
Installation
facultative
install dependencies
Build the doc
You can type make to get the help, and information about the various format available.