1ec3923a6b
A new --disable-doc configure flag has been introduced to skip the compilation of the documentation. |
||
|---|---|---|
| .. | ||
| Makefile.am | ||
| expr-sharing.png | ||
| expr-sharing.xml | ||
| expr.png | ||
| expr.xml | ||
| json-preprocessor.png | ||
| json-preprocessor.xml | ||
| matrices.png | ||
| matrices.xml | ||
| overview.png | ||
| overview.xml | ||
| preprocessor.tex | ||
| readme | ||
readme
NB: .png files made on https://www.draw.io. They can be edited by loading the .xml file with the same name