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

Julia Lawall
2013-03-05T09:30:18Z

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.

julia