This repository contains a set of IP management tools used within the context of the PULP project.

To build the documentation, you can do the following:

cd doc

# build HTML documentation in _build/html
make html

# build Latex documentation in _build/latex
make latex
cd _build/latex
make

# build Latex documentation in _build/latex (single step)
make latexpdf