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

Julia Lawall julia.lawall at lip6.fr
Tue Mar 5 10:30:18 CET 2013

On Tue, 5 Mar 2013, SF Markus Elfring wrote:

> > The things listed in the mli files are the only things that you should use.
> > Unless there is an ML file that has no mli file, which is unfortunately
> > occasionally the case.
> Would you like to add any interface descriptions for documentation
> improvements?

No, we don't have the resources for that.

> Which approach do you recommend to assign file names and include
> parameters to different configuration variables for your source files
> (excluding external software components)?

No idea what this means.


More information about the Cocci mailing list