It contains documentation build with cameleon:
- cameleon reference manual
- cameleon user manual,
documentation can be in html, postscript or odoc formats.