Justin Erenkrantz wrote:

> On Sat, Jul 07, 2001 at 06:42:24AM -0000, [EMAIL PROTECTED] wrote:
> >   BTW, do we still need to add the @deffunc lines as we don't seem to
> >   have been doing in some places.  Is this a scandoc change Ben?
>
> Ben's gone on record saying we don't use scandoc anymore, but doxygen.
> (Check [EMAIL PROTECTED] archives around Jun 9th and 10th.)
>
> Go figure.  No one else seems to be aware of that.  =)  -- justin

Ah yes, I meant doxygen not scandoc...  That's what you get for being up
all night again :)

Maybe Ben would be so kind as to answer this once and for all?

david

Reply via email to