[Cocci] Addition of source code documentation generation to the build system?

Julia Lawall julia.lawall at lip6.fr
Tue Mar 5 11:06:14 CET 2013

> The file search gave unwanted results when I attempted it with the complete
> project hierarchy. I imagine that usable file name lists can be automatically
> generated if all your own source files (excluding bundled components) would be
> stored in specific subdirectories. Several parts can be concatenated to achieve
> the desired parameters for the call of the tool "ocamldoc".

To the best of my understanding, our files are in separate directories
from the files for external libraries.  But if you need everything to get
any documentation, then I guess you would need the external libraries as

I'm not sure why ocamldoc can't just use the -I paths to find the things
it needs.  That is you should be able to give just one file, and it should
be able to find the information for any dependencies.  But i haven't tried
it either.


More information about the Cocci mailing list