[Cocci] Addition of source code documentation generation to the build system?
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
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