From mboxrd@z Thu Jan  1 00:00:00 1970
From: julia.lawall@lip6.fr (Julia Lawall)
Date: Tue, 5 Mar 2013 10:30:18 +0100 (CET)
Subject: [Cocci] Addition of source code documentation generation to the
 build system?
In-Reply-To: <5135B8DB.30307@users.sourceforge.net>
References: <5133B0BF.8000608@users.sourceforge.net>
 <alpine.DEB.2.02.1303041106480.1984@hadrien>
 <5134918E.7090304@users.sourceforge.net>
 <alpine.DEB.2.02.1303041338350.1984@hadrien>
 <5135B8DB.30307@users.sourceforge.net>
Message-ID: <alpine.DEB.2.02.1303051028450.1954@hadrien>
To: cocci@systeme.lip6.fr
List-Id: cocci@systeme.lip6.fr

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