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